Upload
kasandra-ravens
View
223
Download
0
Tags:
Embed Size (px)
Citation preview
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