I cookie ci aiutano a fornire i nostri servizi. Utilizzando tali servizi, accetti l'utilizzo dei cookie da parte nostra.
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.