Nogood recording for static and dynamic constraint satisfaction problems (1994)

by T Schiex, G Verfaillie
Venue:International Journal of Artificial Intelligence Tools