Cookies help us deliver our services. By using our services, you agree to our use of 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.