Xinguang Chen Peter van Beek Conflict-Directed Backjumping Revisited. 53-81 2001 14 J. Artif. Intell. Res. (JAIR) http://www.cs.washington.edu/research/jair/abstracts/chen01a.html db/journals/jair/jair14.html#ChenB01