Is conflict directed backjumping a waste of time?

1
Is conflict directed backjumping a waste of time?
2
CP 1996
3
(No Transcript)
4
(No Transcript)
5
(No Transcript)
6
(No Transcript)
7
(No Transcript)
8
AR 33 Barbara M Smith (up to 2001)
9
(No Transcript)
10
Chen van Beek 2001
11
Chen van Beek
Random problems, no structure
cbj a waste of time
12
Chen van Beek
13
Chen van Beek
14
Chen van Beek
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
15
Chen van Beek
When cbj wins it can win by a HUGE margin
cbj is robust
16
Chen van Beek
The bottom line
17
Bayardo Schrag
SAT relsat(i) uses cbj relevance bounded
learning, retaining conflict sets of
size i as clauses,
18
(No Transcript)
19
(No Transcript)
20
(No Transcript)
21
(No Transcript)
22
(No Transcript)
23
(No Transcript)
24
IJCAI 2007