Sciweavers

2 search results - page 1 / 1
» A Pearl on SAT Solving in Prolog
Sort
View
82
Voted
FLOPS
2010
Springer
15 years 5 months ago
A Pearl on SAT Solving in Prolog
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...
Jacob M. Howe, Andy King
68
Voted
TPLP
2008
118views more  TPLP 2008»
14 years 10 months ago
Logic programming with satisfiability
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...
Michael Codish, Vitaly Lagoon, Peter J. Stuckey