Nogood Recording for Static and Dynamic Constraint Satisfaction Problems (1993)

by Thomas Schiex, Gérard Verfaillie
Venue:International Journal of Artificial Intelligence Tools