Stubborness: an enhancement scheme for backjumping and nogood recording (1994)

by T Schiex, et Verfaillie, G
Venue:Dans Proc. of the 12 th ECAI