Intractable unifiability problems and backtracking
- 1 January 1986
- book chapter
- Published by Springer Nature
- p. 107-121
- https://doi.org/10.1007/3-540-16492-8_68
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Exponential improvement of exhaustive backtracking: data structure and implementationPublished by Springer Nature ,2005
- Intelligent Backtracking in Plan-Based DeductionIEEE Transactions on Pattern Analysis and Machine Intelligence, 1985
- Backtrack: An O(1) expected time algorithm for the graph coloring problemInformation Processing Letters, 1984
- Implementation Strategies for Plan-Based DeductionPublished by Springer Nature ,1984
- An algorithm for intelligent backtrackingPublished by Springer Nature ,1983
- Unifikationsgraphen für Intelligentes Backtracking in DeduktionssystemenPublished by Springer Nature ,1983
- Exponential improvement of efficient backtrackingPublished by Springer Nature ,1982
- Principles of Artificial IntelligencePublished by Springer Nature ,1982
- Consistency in networks of relationsArtificial Intelligence, 1977
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965