QUICKXPLAIN: Conflict Detection for Arbitrary Constraint Propagation Algorithms. (2001)

by U Junker
Venue:IJCAI’01 Workshop on Modelling and Solving problems with constraints (CONS-1),