1. Is conflict directed backjumping a waste of time?

2. CP 1996

8. AR 33 Barbara M Smith (up to 2001)

10. Chen & van Beek 2001

11. Chen & van Beek cbj a waste of time Random problems, no structure

12. Chen & van Beek

14. 10 cases where GAC beat GAC-CBJ When cbj gets beaten it gets beaten by a very small amount i.e. cbj has a small overhead Chen & van Beek

15. When cbj wins it can win by a HUGE margin cbj is robust Chen & van Beek

16. The bottom line Chen & van Beek

17. Bayardo & Schrag SAT: relsat(i) uses cbj + relevance bounded learning, retaining conflict sets of size ≤ i as clauses,

24. IJCAI 2007