Using directed acyclic graphs to coordinate propagation and search for numerical constraint satisfaction problems

• Published in: 16th IEEE International Conference on Tools with Artificial Intelligence pp. 72 - 81
• Main Authors: Vu, X.-H., Schichl, H., Sam-Haroud, D.
• Format: Conference Proceeding
• Language: English
• Published: Los Alamitos CA IEEE 2004
• Subjects: Applied sciences; Artificial intelligence; Computer science; control theory; systems; Constraint optimization; Exact sciences and technology; Floating-point arithmetic; Forward contracts; Mathematical programming; Mathematics; Paper technology; Testing; Tree graphs; Search problem; Interval analysis; Global analysis; Constraint satisfaction; Set computation; Global optimum; Acyclic graph; Artificial intelligence; Interval arithmetic; Directed graph; Constrained optimization
• ISBN: 9780769522364; 076952236X
• ISSN: 1082-3409; 2375-0197
• DOI: 10.1109/ICTAI.2004.118

The paper of H. Schichl & A. Neumaier has given the fundamentals of interval analysis on DAGs for global optimization and constraint propagation. We show in This work how constraint propagation on DAGs can be made efficient and practical by: (i) working on partial DAG representations; and (ii) enabling the flexible choice of the interval inclusion functions during propagation. We then propose a new simple algorithm, which coordinates constraint propagation and exhaustive search for solving numerical constraint satisfaction problems. The experiments carried out on different problems show that the new approach outperforms previously available propagation techniques by an order of magnitude or more in speed, while being roughly the same quality w.r.t. enclosure properties.