{"type":"ScholarlyArticle","title":"Optimal Valve Placement in Water Distribution Networks with CLP(FD)","authors":[{"name":"Massimiliano Cattafi","slug":"massimiliano-cattafi","given":"Massimiliano","family":"Cattafi","affiliation":""},{"name":"Marco Gavanelli","slug":"marco-gavanelli","given":"Marco","family":"Gavanelli","affiliation":""},{"name":"Maddalena Nonato","slug":"maddalena-nonato","given":"Maddalena","family":"Nonato","affiliation":""},{"name":"Stefano Alvisi","slug":"stefano-alvisi","given":"Stefano","family":"Alvisi","affiliation":""},{"name":"Marco Franchini","slug":"marco-franchini","given":"Marco","family":"Franchini","affiliation":""}],"abstract":"This paper presents a new application of logic programming to a real-life problem in hydraulic engineering. The work is developed as a collaboration of computer scientists and hydraulic engineers, and applies Constraint Logic Programming to solve a hard combinatorial problem. This application deals with one aspect of the design of a water distribution network, i.e., the valve isolation system design. We take the formulation of the problem by [Giustolisi and Savic, 2008] and show how, thanks to constraint propagation, we can get better solutions than the best solution known in the literature for the Apulian distribution network.","doi":null,"url":"https://ijcai.org/proceedings/2013/442","pdf":"https://ijcai.org/proceedings/2013/0442.pdf","markdown":"https://ijcai.org/proceedings/2013/442.md","bibtex":"https://ijcai.org/proceedings/2013/bibtex/442","volume":{"slug":"2013","title":"Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2013","url":"https://ijcai.org/proceedings/2013/","year":2013,"location":"Beijing, China","dates":"3–9 August 2013","editors":"Francesca Rossi","isbn":"978-1-57735-633-2","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":442,"pages":{"first":2987,"last":2990},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}