2 search results - page 1 / 1 » A Pearl on SAT Solving in Prolog |
FLOPS
2010
Springer
13 years 11 months ago
2010
Springer
A succinct SAT solver is presented that exploits the control provided by delay declarations to implement watched literals and unit propagation. Despite its brevity the solver is su...
TPLP
2008
13 years 4 months ago
2008
This paper presents a Prolog interface to the MiniSat satisfiability solver. Logic programming with satisfiability combines the strengths of the two paradigms: logic programming f...