Journal of the ACM (JACM)
Parallelism in Deductive Inference on Graph Structures
Automation and Remote Control
I-SATCHMO: An Improvement of SATCHMO
Journal of Automated Reasoning
Argumentation in Explanations to Logical Problems
ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
I-SATCHMORE: an improvement of A-SATCHMORE
Journal of Computer Science and Technology
Eliminating redundant search space on backtracking for forward chaining theorem proving
Journal of Computer Science and Technology
Reducing the derivation of redundant clauses in reasoning systems
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Encoding monomorphic and polymorphic types
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
| Hi-index | 0.00 |