Experiments with subdivision of search in distributed theorem proving
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Annals of Mathematics and Artificial Intelligence
Solution of the Robbins Problem
Journal of Automated Reasoning
What You Always Wanted to Know about Rigid E-Unification
Journal of Automated Reasoning
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
AI Communications - CASC
SMELS: Satisfiability Modulo Equality with Lazy Superposition
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Automated deduction for verification
ACM Computing Surveys (CSUR)
Equational reasoning using AC constraints
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Equality elimination for the inverse method and extension procedures
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Regular derivations in basic superposition-based calculi
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Deduction with XOR constraints in security API modelling
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
A new approach to inferences of semantic constraints
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Basic Completion with E-cycle Simplification
Fundamenta Informaticae
SMELS: Satisfiability Modulo Equality with Lazy Superposition
Journal of Automated Reasoning
| Hi-index | 0.00 |