Introduction to propositional satisfiability

MaRDI QIDQ5498680zbMATH OpenFDO

Authors Wiktor Marek

Publication date 10 February 2015

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Classical propositional logic (03B05) Logic in computer science (03B70)

Recommendations

• Introduction to Mathematics of Satisfiability
• scientific article; zbMATH DE number 1903342
• Handbook of satisfiability. In 2 parts
• Propositional SAT solving
• Solving propositional satisfiability problems

Cited in

(7)

• Design of Logic‐based Intelligent Systems
• Reasoning with propositional logic: from SAT solvers to knowledge compilation
• Satisfiability problem in propositional and renominative composition-nominative logic
• Mathematical Logic for Computer Science
• Handbook of satisfiability. In 2 parts
• Bridging constraint satisfaction and Boolean satisfiability
• Introduction to Mathematics of Satisfiability

This page was built for publication: Introduction to propositional satisfiability

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