Chaff: engineering an efficient SAT solver
Proceedings of the 38th annual Design Automation Conference
ICS: Integrated Canonizer and Solver
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
CVC: A Cooperating Validity Checker
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
The Calculus of Computation: Decision Procedures with Applications to Verification
The Calculus of Computation: Decision Procedures with Applications to Verification
Decision Procedures: An Algorithmic Point of View
Decision Procedures: An Algorithmic Point of View
Handbook of Practical Logic and Automated Reasoning
Handbook of Practical Logic and Automated Reasoning
| Hi-index | 0.00 |