Robert T. Effinger Brian C. Williams Extending Dynamic Backtracking to Solve Weighted Conditional CSPs. 2006 conf/aaai/2006 AAAI db/conf/aaai/aaai2006.html#EffingerW06