Author:
Chao Yuyan,Kawana Norimitsu,He Lifeng,Nakamura Tsuyoshi,Itoh Hidenori
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. F. Bry, and A. Yahya, ‘Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation’, J. of Automated Reasoning, 25:35–82, 2000.
2. P.T. Cox, ‘Finding backtrack points for intelligent backtracking’, Implementations of Prolog, Campbell, J.A. (ed.). pp.216–233, Ellis Horwood, 1984.
3. R. Demolombe, ‘An Efficient Strategy for Non-Horn Deductive Databases’, Theoretical Computer Science, 78 pp.245–249, 1991.
4. L. He, ‘UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving’, Proceedings of the Seventeenth Intl. Joint Conf. on Artificial Intelligence, Seatle, U.S.A, 2001.
5. H. Lifeng, ‘I-SATCHMO: an Improvement of SATCHMO’, J. of Automated Reasoning, 27: pp.313–322, 2001.