Nogood Recording for Static and Dynamic Constraint Satisfaction Problems.

Thomas Schiex, Grard Verfaillie

Browse the full ICTAI paper archive.