"Using constraint techniques for a safe and fast implementation of ..."

Yahia Lebbah, Claude Michel, Michel Rueher (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics