METEORs: High Performance Theorem Provers Using Model Elimination
暂无分享,去创建一个
[1] Nils J. Nilsson,et al. Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.
[2] Carla Schlatter Ellis,et al. Evaluation of concurrent pools , 1989, [1989] Proceedings. The 9th International Conference on Distributed Computing Systems.
[3] Donald W. Loveland,et al. An Implementation of the Model Elimination Proof Procedure , 1974, JACM.
[4] Khayri A. M. Ali,et al. The Muse Or-Parallel Prolog Model and its Performance , 1990, NACLP.
[5] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.
[6] W. W. Bledsoe,et al. Variable Elimination and Chaining in a Resolution-based Prover for Inequalities , 1980, CADE.
[7] Johann Schumann,et al. PARTHEO: A High-Performance Parallel Theorem Prover , 1990, CADE.
[8] Armin Haken,et al. The Intractability of Resolution , 1985, Theor. Comput. Sci..
[9] Stephen A. Cook,et al. The Relative Efficiency of Propositional Proof Systems , 1979, Journal of Symbolic Logic.
[10] William McCune,et al. OTTER 1.0 Users' Guide , 1990 .
[11] Stephen Cook,et al. Corrections for "On the lengths of proofs in the propositional calculus preliminary version" , 1974, SIGA.
[12] Donald W. Loveland,et al. A Simplified Format for the Model Elimination Theorem-Proving Procedure , 1969, J. ACM.
[13] V. Nageshwara Rao,et al. Scalable parallel formulations of depth-first search , 1990 .
[14] Mark E. Stickel. A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler , 1986, CADE.
[15] Donald W. Loveland,et al. Mechanical Theorem-Proving by Model Elimination , 1968, JACM.
[16] Kim Bruce,et al. L A (Ⅎ) , 1979 .
[17] Richard E. Korf,et al. Depth-First Iterative-Deepening: An Optimal Admissible Tree Search , 1985, Artif. Intell..
[18] David H. D. Warren,et al. The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues , 1987, SLP.
[19] R. Kowalski,et al. Linear Resolution with Selection Function , 1971 .
[20] Donald W. Loveland,et al. Automated theorem proving: a logical basis , 1978, Fundamental studies in computer science.
[21] David Maier,et al. Computing with logic , 1988 .
[22] Soumitra Bose,et al. PARTHENON: a parallel theorem prover for nonHorn clauses , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[23] Judea Pearl,et al. Heuristics : intelligent search strategies for computer problem solving , 1984 .
[24] Jack Minker,et al. Resolution, Refinements, and Search Strategies: A Comparative Study , 1976, IEEE Transactions on Computers.