is conflict directed backjumping a waste of time?
TRANSCRIPT
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