Intractable Unifiability Problems and Backtracking
暂无分享,去创建一个
[1] Stan Matwin,et al. Copying of dynamic structures in a pascal environment , 1986, Softw. Pract. Exp..
[2] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .
[3] Tomasz Pietrzykowski,et al. Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction , 1982, CADE.
[4] Nils J. Nilsson,et al. Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.
[5] Michael J. Maher,et al. A Unified Treatment of Resolution Strategies for Logic Programs , 1984, ICLP.
[6] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[7] Lewis Denver Baxter. The complexity of unification. , 1976 .
[8] Werner Dilger,et al. Unifikationsgraphen für intelligentes Backtracking in Deduktionssystemen , 1983, GWAI.
[9] Philip T. Cox,et al. Finding Backtrack Points for Intelligent Backtracking , 1984, Implementations of Prolog.
[10] Alvin M. Despain,et al. Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis , 1985, SLP.
[11] Mike Paterson,et al. Linear unification , 1976, STOC '76.
[12] Thomas J. Schaefer,et al. The complexity of satisfiability problems , 1978, STOC.
[13] Stan Matwin,et al. Implementation Strategies for Plan-Based Deduction , 1984, CADE.
[14] Herbert S. Wilf,et al. Backtrack: An O(1) Expected Time Algorithm for the Graph Coloring Problem , 1984, Inf. Process. Lett..
[15] Philip T. Cox. On Determining the Cause of Nonunifiability , 1987, J. Log. Program..
[16] Stan Matwin,et al. Intelligent Backtracking in Plan-Based Deduction , 1985, IEEE Transactions on Pattern Analysis and Machine Intelligence.
[17] Alan K. Mackworth. Consistency in Networks of Relations , 1977, Artif. Intell..
[18] Robert A. Kowalski,et al. Logic for problem solving , 1982, The computer science library : Artificial intelligence series.
[19] Stan Matwin,et al. Exponential Improvement of Efficient Backtracking: data Structure and Implementation , 1982, CADE.
[20] Luís Moniz Pereira,et al. Deduction Revision by Intelligent Backtracking , 1984, Implementations of Prolog.
[21] Taisuke Sato. An Algorithm for Intelligent Backtracking , 1982, RIMS Symposium on Software Science and Engineering.
[22] William F. Clocksin,et al. Programming in Prolog , 1981, Springer Berlin Heidelberg.