Nogood Backmarking with Min-Conflict Repair in Constraint Satisfaction and Optimization.

Yuejun Jiang Thomas Richards Barry Richards Nogood Backmarking with Min-Conflict Repair in Constraint Satisfaction and Optimization. 21-39 1994 conf/ppcp/1994 PPCP db/conf/ppcp/ppcp94-lncs.html#JiangRR94