Constraints in computational logics
The CADE-14 ATP System Competition
Journal of Automated Reasoning
The CADE-15 ATP System Competition
Journal of Automated Reasoning
Ordered Semantic Hyper-Linking
Journal of Automated Reasoning
Resolution versus Search: Two Strategies for SAT
Journal of Automated Reasoning
An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas
CL '00 Proceedings of the First International Conference on Computational Logic
Interpretation of a Mizar-Like Logic in First-Order Logic
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
System Description: Spass Version 1.0.0
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Combining superposition, sorts and splitting
Handbook of automated reasoning
Hyperresolution for guarded formulae
Journal of Symbolic Computation - Special issue: First order theorem proving
MPTP -- Motivation, Implementation, First Experiments
Journal of Automated Reasoning
The model evolution calculus as a first-order DPLL method
Artificial Intelligence
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Superposition for bounded domains
Automated Reasoning and Mathematics
| Hi-index | 0.00 |