Lemma and cut strategies for propositional model elimination
Annals of Mathematics and Artificial Intelligence
The Use of Lemmas in the Model Elimination Procedure
Journal of Automated Reasoning
A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion
Journal of Automated Reasoning
SETHEO and E-SETHEO - The CADE-13 Systems
Journal of Automated Reasoning
Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference
Journal of Automated Reasoning
Autarky Pruning in Propositional Model Elimination Reduces Failure Redundancy
Journal of Automated Reasoning
Lemma Generalization and Non-unit Lemma Matching for Model Elimination
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Exploiting Conditional Equivalences in Connection Calculi
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Conditional Pure Literal Graphs
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Model elimination and connection tableau procedures
Handbook of automated reasoning
Improving search in a hypothetical reasoning system
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Distributed Prefetch-buffer/Cache Design for High Performance Memory Systems
HPCA '96 Proceedings of the 2nd IEEE Symposium on High-Performance Computer Architecture
Code improvements for model elimination based reasoning systems
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
A survey on knowledge compilation
AI Communications
Cooperation between top-down and bottom-up theorem provers
Journal of Artificial Intelligence Research
Towards a unified model of search in theorem-proving: subgoal-reduction strategies
Journal of Symbolic Computation
Proof simplification for model generation and its applications
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
A caching mechanism for semantic web service discovery
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
A taxonomy of theorem-proving strategies
Artificial intelligence today
Lemma learning in the model evolution calculus
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Editorial: Recent developments in high performance computing and security: An editorial
Future Generation Computer Systems
| Hi-index | 0.00 |