The CADE-15 ATP System Competition
Journal of Automated Reasoning
The CADE-16 ATP System Competition
Journal of Automated Reasoning
An Algorithm for Dual Transformation in First-Order Logic
Journal of Automated Reasoning
First-Order Atom Definitions Extended
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Splitting Through New Proposition Symbols
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
QUBOS: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Comparing SAT Encodings for Model Checking
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
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
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Binary resolution over complete residuated Stone lattices
Fuzzy Sets and Systems
A solver for QBFs in negation normal form
Constraints
A Solver for QBFs in Nonprenex Form
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Improving Coq propositional reasoning using a lazy CNF conversion scheme
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Clause form conversions for boolean circuits
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
| Hi-index | 0.00 |