Download presentation

Presentation is loading. Please wait.

Published byKasandra Ravens Modified over 2 years ago

1
Is conflict directed backjumping a waste of time?

2
CP 1996

8
AR 33 Barbara M Smith (up to 2001)

10
Chen & van Beek 2001

11
Chen & van Beek cbj a waste of time Random problems, no structure

12
Chen & van Beek

14
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 Chen & van Beek

15
When cbj wins it can win by a HUGE margin cbj is robust Chen & van Beek

16
The bottom line Chen & van Beek

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

24
IJCAI 2007

Similar presentations

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google