A General Setting for Flexibly Combining and Augmenting Decision Procedures
Journal of Automated Reasoning
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Bounds on the automata size for Presburger arithmetic
ACM Transactions on Computational Logic (TOCL)
Automating Elementary Number-Theoretic Proofs Using Gröbner Bases
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations
Formal Methods in System Design
A short survey of automated reasoning
AB'07 Proceedings of the 2nd international conference on Algebraic biology
A survey of automated deduction
Artificial intelligence today
Limitations of self-assembly at temperature 1
Theoretical Computer Science
Hi-index | 0.00 |
No abstract supplied.