Xuan-Ha Vu

RIGOROUS SOLUTION TECHNIQUES FOR NUMERICAL CONSTRAINT SATISFACTION PROBLEMS

Xuan-Ha Vu, Xuan-Ha Vu, 2005 .

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

Hermann Schichl, Djamila Sam-Haroud, Xuan-Ha Vu, 2004, 16th IEEE International Conference on Tools with Artificial Intelligence.

Numerical Constraint Satisfaction Problems with Non-isolated Solutions

Marius-Calin Silaghi, Djamila Sam-Haroud, Xuan-Ha Vu, 2002, COCOS.

Benchmarking Global Optimization and Constraint Satisfaction Codes

Arnold Neumaier, Oleg Shcherbina, Djamila Sam-Haroud, 2002, COCOS.

Interval propagation and search on directed acyclic graphs for numerical constraint solving

Hermann Schichl, Djamila Sam-Haroud, Xuan-Ha Vu, 2009, J. Glob. Optim..