Experiments with subdivision of search in distributed theorem proving
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Evaluating general purpose automated theorem proving systems
Artificial Intelligence
A propositional theorem prover to solve planning and other problems
Annals of Mathematics and Artificial Intelligence
The Use of Lemmas in the Model Elimination Procedure
Journal of Automated Reasoning
The Design of the CADE-13 ATP System Competition
Journal of Automated Reasoning
Ordered Semantic Hyper-Linking
Journal of Automated Reasoning
Autarky Pruning in Propositional Model Elimination Reduces Failure Redundancy
Journal of Automated Reasoning
Using Resolution for Testing Modal Satisfiability and Building Models
Journal of Automated Reasoning
Improving the Efficiency of Reasoning Through Structure-Based Reformulation
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Partial instantiation theorem proving for distributed resource location
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Conditional Pure Literal Graphs
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination
Annals of Mathematics and Artificial Intelligence
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
AI Communications - CASC
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Ordered semantic hyper linking
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Pool resolution and its relation to regular resolution and DPLL with clause learning
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
The strategy challenge in SMT solving
Automated Reasoning and Mathematics
Hi-index | 0.00 |