{"type":"ScholarlyArticle","title":"Domain Filtering can Degrade Intelligent Backtracking Search","authors":[{"name":"Patrick Prosser","slug":"patrick-prosser","given":"Patrick","family":"Prosser","affiliation":""}],"abstract":"This paper presents an improved backjumping algorithm for the constraint satisfaction problem, namely conflictdirected backjumping (CBJ). CBJ is then modified such that it can detect infeasible values and removes them from the domains of variables once and for all. A similar modification is then made to Gaschnig's backjumping routine BJ and to Haralick and Elliott's forward checking routine FC. Empirical analysis shows that these modifications tend to result in an improvement in average performance. The existence of a peculiar phenomenon is then shown: the removal of infeasible values may result in a degradation in the performance of intelligent backjumping algorithms, and conversely the addition of infeasible values may lead to an improvement in performance.","doi":null,"url":"https://ijcai.org/proceedings/1993/37","pdf":"https://ijcai.org/proceedings/1993/0037.pdf","markdown":"https://ijcai.org/proceedings/1993/37.md","bibtex":"https://ijcai.org/proceedings/1993/bibtex/37","volume":{"slug":"1993","title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1993","url":"https://ijcai.org/proceedings/1993/","year":1993,"location":"Chambéry, France","dates":"","editors":"Ruzena Bajcsy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Constraint Satisfaction Problems","track":"Constraint Satisfaction Problems","number":37,"pages":{"first":262,"last":266},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}