{"type":"ScholarlyArticle","title":"Bimodal Depth-First Search for Scalable GAC for AllDifferent","authors":[{"name":"Sulian Le Bozec-Chiffoleau","slug":"sulian-le-bozec-chiffoleau","given":"Sulian","family":"Le Bozec-Chiffoleau","affiliation":""},{"name":"Nicolas Beldiceanu","slug":"nicolas-beldiceanu","given":"Nicolas","family":"Beldiceanu","affiliation":""},{"name":"Charles Prud'homme","slug":"charles-prud-homme","given":"Charles","family":"Prud'homme","affiliation":""},{"name":"Gilles Simonin","slug":"gilles-simonin","given":"Gilles","family":"Simonin","affiliation":""},{"name":"Xavier Lorca","slug":"xavier-lorca","given":"Xavier","family":"Lorca","affiliation":""}],"abstract":"We propose a version of DFS designed for Constraint Programming, called bimodal DFS, that scales to both sparse and dense graphs. It runs in O(n + ~m) time, where ~m is the sum, for each vertex v, of the minimum between the numbers of successors and non-successors of v.\r\nIntegrating it into Régin’s GAC algorithm for the AllDifferent constraint results in faster performance as the problem size increases, outperforming a GPU-accelerated version.\r\nIn the vast majority of our tests, GAC now performs similarly to BC in terms of speed, but is able to solve more problems.","doi":"10.24963/ijcai.2025/291","url":"https://ijcai.org/proceedings/2025/291","pdf":"https://ijcai.org/proceedings/2025/0291.pdf","markdown":"https://ijcai.org/proceedings/2025/291.md","bibtex":"https://ijcai.org/proceedings/2025/bibtex/291","volume":{"slug":"2025","title":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2025","url":"https://ijcai.org/proceedings/2025/","year":2025,"location":"Montreal, Canada","dates":"16-22 August 2025","editors":"James Kwok","isbn":"978-1-956792-06-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2025"},"section":"Constraint Satisfaction and Optimization","track":"Main Track","number":291,"pages":{"first":2610,"last":2618},"keywords":["Constraint Satisfaction and Optimization: CSO: Constraint programming","Constraint Satisfaction and Optimization: CSO: Solvers and tools","Constraint Satisfaction and Optimization: CSO: Constraint satisfaction"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}