is conflict directed backjumping a waste of time?
DESCRIPTION
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. Random problems, no structure. cbj a waste of time. Chen & van Beek. Chen & van Beek. Chen & van Beek. 10 cases where GAC beat GAC-CBJ. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/1.jpg)
Is conflict directed backjumping a waste of time?
![Page 2: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/2.jpg)
CP 1996
![Page 3: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/3.jpg)
![Page 4: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/4.jpg)
![Page 5: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/5.jpg)
![Page 6: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/6.jpg)
![Page 7: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/7.jpg)
![Page 8: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/8.jpg)
AR 33 Barbara M Smith(up to 2001)
![Page 9: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/9.jpg)
![Page 10: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/10.jpg)
Chen & van Beek 2001
![Page 11: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/11.jpg)
Chen & van Beek
cbj a waste of time
Random problems, no structure
![Page 12: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/12.jpg)
Chen & van Beek
![Page 13: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/13.jpg)
Chen & van Beek
![Page 14: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/14.jpg)
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
![Page 15: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/15.jpg)
When cbj wins it canwin by a HUGE margin cbj is robust
Chen & van Beek
![Page 16: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/16.jpg)
The bottom line
Chen & van Beek
![Page 17: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/17.jpg)
Bayardo & Schrag
SAT: relsat(i) uses cbj + relevance bounded learning, retaining conflict sets of size ≤ i as clauses,
![Page 18: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/18.jpg)
![Page 19: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/19.jpg)
![Page 20: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/20.jpg)
![Page 21: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/21.jpg)
![Page 22: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/22.jpg)
![Page 23: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/23.jpg)
![Page 24: Is conflict directed backjumping a waste of time?](https://reader035.vdocument.in/reader035/viewer/2022062500/568150df550346895dbefe4c/html5/thumbnails/24.jpg)
IJCAI 2007