Introduction to Mathematics of Satisfiability

From MaRDI portal

Publication:3399426

Jump to:navigation, search

DOI10.1201/9781439801741zbMath1184.68001OpenAlexW576907608MaRDI QIDQ3399426

Victor W. Marek

Publication date: 12 October 2009

Full work available at URL: https://doi.org/10.1201/9781439801741

zbMATH Keywords

normal forms propositional logic compactness NP-completeness resolution satisfiability SAT fixpoint theorem DPLL clausal logic Craig lemma

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (4)

Lego-like spheres and tori ⋮ Disjunctive Programs with Set Constraints ⋮ Semidefinite resolution and exactness of semidefinite relaxations for satisfiability ⋮ Autark assignments of Horn CNFs

This page was built for publication: Introduction to Mathematics of Satisfiability

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3399426&oldid=16680849"

Pages with script errors