2 search results - page 1 / 1 » A Pearl on SAT Solving in Prolog |
80
Voted
FLOPS
2010
Springer
15 years 4 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...
65
Voted
TPLP
2008
14 years 9 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...