Theory and Applications of Satisfiability Testing
From MaRDI portal
Publication:5325878
DOI10.1007/b95238zbMath1204.68193DBLPconf/sat/2003OpenAlexW2494235144WikidataQ56039662 ScholiaQ56039662MaRDI QIDQ5325878
Jeffrey A. Ward, John S. Schlipf, W. Mark Vanfleet, Michal Kouril, Sean A. Weaver, Michael R. Dransfield, John V. Franco
Publication date: 24 July 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b95238
Related Items (7)
Symbolic techniques in satisfiability solving ⋮ Generating Extended Resolution Proofs with a BDD-Based SAT Solver ⋮ A finite state intersection approach to propositional satisfiability ⋮ Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability ⋮ Generating extended resolution proofs with a BDD-based SAT solver ⋮ Non-clausal redundancy properties ⋮ SBSAT
Uses Software
This page was built for publication: Theory and Applications of Satisfiability Testing
