A Pearl on SAT Solving in Prolog

DOI10.1007/978-3-642-12251-4_13MaRDI QIDQ3558337zbMATH OpenOpenAlexFDO

Authors Jacob M. Howe, Andy King

Publication date 4 May 2010

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-12251-4_13

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A pearl on SAT and SMT solving in Prolog
• Propositional SAT solving
• Solving propositional satisfiability problems
• scientific article; zbMATH DE number 42100
• ASSAT: computing answer sets of a logic program by SAT solvers
• scientific article; zbMATH DE number 1979549
• scientific article; zbMATH DE number 4094866
• scientific article; zbMATH DE number 1882048

Cited in

(5)

• A pearl on SAT and SMT solving in Prolog
• Logic programming with satisfiability
• The Boolean constraint solver of SWI-Prolog (system description)
• Backjumping is Exception Handling
• Logic + control: an example

This page was built for publication: A Pearl on SAT Solving in Prolog

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3558337)