A Pearl on SAT Solving in Prolog

DOI10.1007/978-3-642-12251-4_13zbMATH Open1284.68115OpenAlexW1946627845MaRDI QIDQ3558337FDOQ3558337

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (4)

• Backjumping is Exception Handling
• Logic programming with satisfiability
• Logic + control: an example
• A pearl on SAT and SMT solving in Prolog

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)