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

Boolean satisfiabilitypropositional logicSAT solvers

Mathematics Subject Classification ID

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

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)

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

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)