Les cookies assurent le bon fonctionnement de nos services. En utilisant ces derniers, vous acceptez l'utilisation des cookies.
Bessiére, Christian,
Meseguer, Pedro,
Freuder, Eugene C. and
Larrosa, Javier. 2002.
“On Forward Checking for Non-Binary Constraint Satisfaction.” Artificial Intelligence 141(1–2): 205–224.
Larrosa, Javier,
Meseguer, Pedro and
Schiex, Thomas. 1999.
“Maintaining Reversible DAC for Max-CSP.” Artificial Intelligence 107(1): 149–163.
Meseguer, Pedro and
Torras, Carme. 2001.
“Exploiting Symmetries within Constraint Satisfaction Search.” Artificial Intelligence 129(1–2): 133–163.