A General Setting for Flexibly Combining and Augmenting Decision Procedures
Journal of Automated Reasoning
Incorporating decision procedures in implicit induction
Journal of Symbolic Computation - Integrated reasoning and algebra systems
Mini-buckets: A general scheme for bounded inference
Journal of the ACM (JACM)
A Rewrite Rule Based Framework for Combining Decision Procedures
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Constraint contextual rewriting
Journal of Symbolic Computation - Special issue: First order theorem proving
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Noetherianity and Combination Problems
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
Optimal Length Resolution Refutations of Difference Constraint Systems
Journal of Automated Reasoning
Mini-buckets: a general scheme for generating approximations in automated reasoning
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Theoretical Computer Science
Model Checking Linear Programs with Arrays
Electronic Notes in Theoretical Computer Science (ENTCS)
Resource management in agent-based distributed environments
CIA'99 Proceedings of the 3rd international conference on Cooperative information agents III
Data structures with arithmetic constraints: a non-disjoint combination
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
On theorem proving for program checking: historical perspective and recent developments
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Abduction of linear arithmetic constraints
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Optimal constraint decomposition for distributed databases
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
| Hi-index | 0.01 |