Is conflict directed backjumping a waste of time?

CP 1996

AR 33 Barbara M Smith(up to 2001)

Chen & van Beek 2001

Chen & van Beek

cbj a waste of time

Random problems, no structure

Chen & van Beek

Chen & van Beek

10 cases where GAC beat GAC-CBJ

When cbj gets beaten it gets beaten by a very small amounti.e. cbj has a small overhead

Chen & van Beek

When cbj wins it canwin by a HUGE margin cbj is robust

Chen & van Beek

The bottom line

Chen & van Beek

Bayardo & Schrag

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

IJCAI 2007