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

Nicolas Beldiceanu, Narendra Jussien, Eric Pinson (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics