research
∙
09/17/2021
Modeling and Solving Graph Synthesis Problems Using SAT-Encoded Reachability Constraints in Picat
Many constraint satisfaction problems involve synthesizing subgraphs tha...
share
research
∙
09/15/2021
Proceedings 37th International Conference on Logic Programming (Technical Communications)
ICLP is the premier international event for presenting research in logic...
research
∙
05/12/2020
Yet Another Comparison of SAT Encodings for the At-Most-K Constraint
The at-most-k constraint is ubiquitous in combinatorial problems, and nu...
research
∙
05/11/2014
Using Tabled Logic Programming to Solve the Petrobras Planning Problem
Tabling has been used for some time to improve efficiency of Prolog prog...
research
∙
01/31/2013
Toward a Dynamic Programming Solution for the 4-peg Tower of Hanoi Problem with Configurations
The Frame-Stewart algorithm for the 4-peg variant of the Tower of Hanoi,...
research
∙
03/09/2000