SBSAT

swMATH828MaRDI QIDQ13575FDOQ13575

Author name not available (Why is that?)

Described by source

• Theory and Applications of Satisfiability Testing

Cited In (8)

• Extended Resolution Proofs for Conjoining BDDs
• Symbolic techniques in satisfiability solving
• Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition
• Extended Resolution Proofs for Symbolic SAT Solving with Quantification
• Theory and Applications of Satisfiability Testing
• Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability
• A finite state intersection approach to propositional satisfiability
• Theory and Applications of Satisfiability Testing

This page was built for software: SBSAT