Underconstrained knowledge-intensive constraint satisfaction search

DOI10.1080/09528139508953806zbMath0939.68843OpenAlexW1965366805MaRDI QIDQ4835851

Martin O. Hofmann

Publication date: 4 July 2000

Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/09528139508953806

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites Work

• Unnamed Item
• Linear-space best-first search
• Diagnosing multiple faults
• Consistency in networks of relations

This page was built for publication: Underconstrained knowledge-intensive constraint satisfaction search