Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
OK
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.