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)

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

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)