Introduction to propositional satisfiability

zbMATH Open1410.68003MaRDI QIDQ5498680FDOQ5498680

Wiktor Marek

Publication date: 10 February 2015

Recommendations

• Introduction to Mathematics of Satisfiability
• [[:Publication:4804883|Title not available (Why is that?)]]
• [[:Publication:5148371|Title not available (Why is that?)]]
• 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 (2)

• Design of Logic‐based Intelligent Systems
• 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)