Solving finite domain constraint hierarchies by local consistency and tree search

DOI10.1080/09528130802667690zbMath1186.68433OpenAlexW2030013846MaRDI QIDQ3401378

H. K. C. Hui, Stefano Bistarelli, Philippe Codognet, Jimmy Ho-man Lee

Publication date: 29 January 2010

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

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

zbMATH Keywords

local consistencysoft constraintsconstraint hierarchies

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• QOCA

Cites Work

• Arc consistency for soft constraints
• Solving weighted CSP by maintaining arc consistency
• Ultraviolet: A constraint satisfaction algorithm for interactive graphics
• Solving hierarchical constraints over finite domains with local search
• Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
• Reduction operations in fuzzy or valued constraint satisfaction
• Semiring-based constraint satisfaction and optimization
• Hierarchical constraint logic programming
• A Simplex Method for Function Minimization