"Integration of AI and OR Techniques in Constraint Programming for ..."

Tobias Achterberg, J. Christopher Beck (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics