{"type":"ScholarlyArticle","title":"Search Strategies as Synchronous Processes (Extended Abstract)","authors":[{"name":"Pierre Talbot","slug":"pierre-talbot","given":"Pierre","family":"Talbot","affiliation":"Université Pierre et Marie Curie IRCAM CNRS ( UMR 9912 STMS)"}],"abstract":"Solving constraint satisfaction problems (CSP) efficiently depends on the solver configuration and the search strategy.\r\nHowever, it is difficult to customize the constraint solvers because they are not modular enough, and it is hard to create new search strategies by composition.\r\nTo solve these problems, we propose spacetime programming, a paradigm based on lattices and synchronous process calculi that views search strategies as processes working collaboratively towards the resolution of a CSP.\r\nWe implement the compiler of the language and use it to replace the search module of Choco, a state of the art constraint solver, with an efficient spacetime program that offers better modularity and compositionality of search strategies.","doi":"10.24963/ijcai.2017/766","url":"https://ijcai.org/proceedings/2017/766","pdf":"https://ijcai.org/proceedings/2017/0766.pdf","markdown":"https://ijcai.org/proceedings/2017/766.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/766","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Doctoral Consortium","track":"Doctoral Consortium","number":766,"pages":{"first":5213,"last":5214},"keywords":["Artificial Intelligence: constraints","Artificial Intelligence: computer science","Artificial Intelligence: search and constraint satisfaction"],"videos":[],"references":[{"position":1,"raw":"[Berry, 2000] Gérard Berry. The Foundations of Esterel. In Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, Proof, Language, and Interaction, pages 425-454. MIT Press, 2000.","title":"The Foundations of Esterel","authors":"Gérard Berry","year":"2000","venue":"Proof, Language, and Interaction","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Michel and Van Hentenryck, 2016] Laurent Michel and Pascal Van Hentenryck. A microkernel architecture for constraint programming. Constraints, 2016.","title":"A microkernel architecture for constraint programming","authors":"Van Michel, Laurent Hentenryck, Pascal Michel, Van Hentenryck","year":"2016","venue":"Constraints","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Prud'homme et al., 2015] Charles Prud'homme, Jean- Guillaume Fages, and Xavier Lorca. Choco Documenta- tion, 2015.","title":"Choco Documentation","authors":"Prud'homme","year":"2015","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Rendl et al., 2015] Andrea Rendl, Tias Guns, Peter J. Stuckey, and Guido Tack. MiniSearch: a solver- independent meta-search language for MiniZinc. In CP- 2015, pages 376-392. Springer, 2015.","title":"MiniSearch: a solverindependent meta-search language for MiniZinc","authors":"Andrea Rendl, Tias Guns, Peter J Stuckey, Guido Tack","year":"2015","venue":"CP-2015","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Saraswat and Rinard, 1989] Vijay A. Saraswat and Martin Rinard. Concurrent constraint programming. In POPL'90, pages 232-245. ACM, 1989.","title":"Concurrent constraint programming","authors":"Vijay A Saraswat, Martin Rinard","year":"1989","venue":"POPL'90","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Schrijvers et al., 2013] Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, and Peter J. Stuckey. Search combinators. Constraints, 18(2):269-305, 2013.","title":"Search combinators","authors":"Schrijvers","year":"2013","venue":"Constraints","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}