A General Setting for Flexibly Combining and Augmenting Decision Procedures
Journal of Automated Reasoning
A Generalization of Shostak's Method for Combining Decision Procedures
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
A Rewrite Rule Based Framework for Combining Decision Procedures
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
CVC: A Cooperating Validity Checker
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Rewrite-Based Decision Procedures
Electronic Notes in Theoretical Computer Science (ENTCS)
Generalizing DPLL and satisfiability for equalities
Information and Computation
New results on rewrite-based satisfiability procedures
ACM Transactions on Computational Logic (TOCL)
An online proof-producing decision procedure for mixed-integer linear arithmetic
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Producing and verifying extremely large propositional refutations
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |