Logic programming with satisfiability

DOI10.1017/S1471068407003146MaRDI QIDQ5437652zbMATH OpenOpenAlexFDO

Authors Michael Codish, V. Lagoon, Peter J. Stuckey

Publication date 21 January 2008

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068407003146

zbMATH Keywords

SAT solverspropositional logicBoolean satisfiability

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Recommendations

• A Pearl on SAT Solving in Prolog
• A pearl on SAT and SMT solving in Prolog
• Constraint programming for modelling and solving modal satisfiability
• Logic + control: an example
• Solving propositional satisfiability problems

Cites work

• A structure-preserving clause form translation

Cited in

(16)

• Solving satisfiability problems with preferences
• Eliminating models during model elimination
• scientific article; zbMATH DE number 1337623 (Why is no real title available?)
• Logic programming with solution preferences
• Reasoning with logic programming
• A pearl on SAT and SMT solving in Prolog
• Logic programming: laxness and saturation
• A SAT-Based Approach to Size Change Termination with Global Ranking Functions
• Boolean lexicographic optimization: algorithms \& applications
• Tableau reasoning for description logics and its extension to probabilities
• Proving Termination with (Boolean) Satisfaction
• scientific article; zbMATH DE number 25191 (Why is no real title available?)
• Transfer function synthesis without quantifier elimination
• Iterative and core-guided maxsat solving: a survey and assessment
• scientific article; zbMATH DE number 4011898 (Why is no real title available?)
• Abstract interpretation of microcontroller code: intervals meet congruences

Describes a project that uses

Uses Software

• MiniSat

This page was built for publication: Logic programming with satisfiability

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