Conflict-directed A* and its role in model-based embedded systems
- 1 June 2007
- journal article
- Published by Elsevier in Discrete Applied Mathematics
- Vol. 155 (12) , 1562-1595
- https://doi.org/10.1016/j.dam.2005.10.022
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Semiring-based constraint satisfaction and optimizationJournal of the ACM, 1997
- Fast planning through planning graph analysisArtificial Intelligence, 1997
- Dynamic BacktrackingJournal of Artificial Intelligence Research, 1993
- Generalized best-first search strategies and the optimality of A*Journal of the ACM, 1985
- Qualitative process theoryArtificial Intelligence, 1984
- The use of design descriptions in automated diagnosisArtificial Intelligence, 1984
- Diagnostic reasoning based on structure and behaviorArtificial Intelligence, 1984
- A truth maintenance systemArtificial Intelligence, 1979
- A Formal Basis for the Heuristic Determination of Minimum Cost PathsIEEE Transactions on Systems Science and Cybernetics, 1968
- A machine program for theorem-provingCommunications of the ACM, 1962