"Dynamic Analysis of Bounds Versus Domain Propagation."

Christian Schulte, Peter J. Stuckey (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics