Introduction to propositional satisfiability

zbMATH Open1410.68003MaRDI QIDQ5498680FDOQ5498680

Authors: Wiktor Marek 

Publication date: 10 February 2015

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

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)

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)