{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T09:03:21Z","timestamp":1777107801274,"version":"3.51.4"},"reference-count":43,"publisher":"Cambridge University Press (CUP)","issue":"4-5","license":[{"start":{"date-parts":[[2011,7,6]],"date-time":"2011-07-06T00:00:00Z","timestamp":1309910400000},"content-version":"unspecified","delay-in-days":5,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2011,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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 Savi\u0107 (2008 Optimal design of isolation valve system for water distribution networks. In<jats:italic>Proceedings of the 10th Annual Water Distribution Systems Analysis Conference WDSA2008<\/jats:italic>, J. Van Zyl, A. Ilemobade, and H. Jacobs, Eds.) 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. We believe that the area of the so-called<jats:italic>hydroinformatics<\/jats:italic>can benefit from the techniques developed in Constraint Logic Programming and possibly from other areas of logic programming, such as Answer Set Programming.<\/jats:p>","DOI":"10.1017\/s1471068411000275","type":"journal-article","created":{"date-parts":[[2011,7,6]],"date-time":"2011-07-06T09:15:37Z","timestamp":1309943737000},"page":"731-747","source":"Crossref","is-referenced-by-count":17,"title":["Optimal placement of valves in a water distribution network with CLP(FD)"],"prefix":"10.1017","volume":"11","author":[{"given":"MASSIMILIANO","family":"CATTAFI","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MARCO","family":"GAVANELLI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MADDALENA","family":"NONATO","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"STEFANO","family":"ALVISI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MARCO","family":"FRANCHINI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2011,7,6]]},"reference":[{"key":"S1471068411000275_ref40","doi-asserted-by":"publisher","DOI":"10.1016\/0377-2217(80)90038-7"},{"key":"S1471068411000275_ref35","first-page":"183","volume-title":"Proc. of 4th Compulog-Net Workshop on Parallelism and Implementation Technologies","author":"Prestwich","year":"1996"},{"key":"S1471068411000275_ref30","doi-asserted-by":"publisher","DOI":"10.1137\/0136016"},{"key":"S1471068411000275_ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-007-9028-6"},{"key":"S1471068411000275_ref33","first-page":"23","volume-title":"Proc. of ICLP Workshop: Integration of Declarative Paradigms","author":"Marriott","year":"1994"},{"key":"S1471068411000275_ref27","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1002\/j.1551-8833.2007.tb07983.x","article-title":"A segment-based optimization model for water pipeline replacement","volume":"99","author":"Kao","year":"2007","journal-title":"Journal of the American Water Works Association"},{"key":"S1471068411000275_ref23","volume-title":"Proc. of 1995 ACM\/IEEE Conference on Supercomputing (CDROM '95)","author":"Hendrickson","year":"1995"},{"key":"S1471068411000275_ref11","first-page":"175","volume-title":"Proc. of 19th Design Automation Conference (DAC '82)","author":"Fiduccia","year":"1982"},{"key":"S1471068411000275_ref41","doi-asserted-by":"publisher","DOI":"10.1145\/131295.131299"},{"key":"S1471068411000275_ref39","doi-asserted-by":"crossref","unstructured":"Spielman A. and Teng S.-H. 1996. Spectral partitioning works: Planar graphs and finite element meshes. Technical Report. University of California, Berkeley, CA.","DOI":"10.1109\/SFCS.1996.548468"},{"key":"S1471068411000275_ref43","doi-asserted-by":"publisher","DOI":"10.1017\/S147106840700316X"},{"key":"S1471068411000275_ref34","first-page":"167","volume-title":"Proc. of 7th International Conference on Algorithms and Complexity (CIAC '10)","author":"Pichler","year":"2010"},{"key":"S1471068411000275_ref7","volume-title":"Constraint Processing","author":"Dechter","year":"2003"},{"key":"S1471068411000275_ref8","first-page":"67","volume-title":"Proc. of 21st International Conference on Logic Programming (ICLP '05)","author":"Dovier","year":"2005"},{"key":"S1471068411000275_ref28","doi-asserted-by":"publisher","DOI":"10.1137\/S1064827595287997"},{"key":"S1471068411000275_ref14","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.14.4.403.2827"},{"key":"S1471068411000275_ref32","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with constraints: An introduction","author":"Marriot","year":"1998"},{"key":"S1471068411000275_ref17","first-page":"136","volume-title":"Proc. of 15th European Conference on Artificial Intelligence (ECAI '02)","author":"Gavanelli","year":"2002"},{"key":"S1471068411000275_ref42","doi-asserted-by":"crossref","unstructured":"Zhou N.-F. 2011. The language features and architecture of B-Prolog. Theory and Practice of Logic Programming. In press","DOI":"10.1017\/S1471068411000445"},{"key":"S1471068411000275_ref29","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1970.tb01770.x"},{"key":"S1471068411000275_ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"S1471068411000275_ref22","doi-asserted-by":"publisher","DOI":"10.1137\/0916028"},{"key":"S1471068411000275_ref37","first-page":"224","volume-title":"Proc. of 18th International Conference on Logic Programming (ICLP '02)","author":"Schimpf","year":"2002"},{"key":"S1471068411000275_ref2","first-page":"146","volume-title":"Proc. of 16th European Conference on Artificial Intelligence (ECAI '04)","author":"Boussemart","year":"2004"},{"key":"S1471068411000275_ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511607400"},{"key":"S1471068411000275_ref12","doi-asserted-by":"crossref","first-page":"298","DOI":"10.21136\/CMJ.1973.101168","article-title":"Algebraic connectivity of graphs.","volume":"23","author":"Fiedler","year":"1973","journal-title":"Czechoslovak Mathematical Journal"},{"key":"S1471068411000275_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s11269-010-9661-5"},{"key":"S1471068411000275_ref10","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1007\/3-540-61551-2_104","volume-title":"Proc. of 2nd International Conference on Principles and Practice of Constraint Programming (CP '96)","author":"Fages","year":"1996"},{"key":"S1471068411000275_ref19","first-page":"1","volume-title":"Proc. of 10th Annual Water Distribution Systems Analysis Conference (WDSA '08)","author":"Giustolisi","year":"2008"},{"key":"S1471068411000275_ref4","volume-title":"Spectral Graph Theory","author":"Chung","year":"1994"},{"key":"S1471068411000275_ref16","volume-title":"Computers and Intractability; A Guide to the Theory of NP-Completeness","author":"Garey","year":"1990"},{"key":"S1471068411000275_ref24","doi-asserted-by":"publisher","DOI":"10.1145\/362248.362272"},{"key":"S1471068411000275_ref9","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068408003323"},{"key":"S1471068411000275_ref20","doi-asserted-by":"publisher","DOI":"10.1080\/15730620903287530"},{"key":"S1471068411000275_ref18","first-page":"255","volume-title":"Proc. of Practical Application of Constraint Technologies and Logic Programming (PACLP '99)","author":"Gervet","year":"1999"},{"key":"S1471068411000275_ref26","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)0733-9496(2007)133:2(145)"},{"key":"S1471068411000275_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05138-2"},{"key":"S1471068411000275_ref13","first-page":"189","volume-title":"Proc. of 5th International Conference on Principles and Practice of Constraint Programming (CP '99)","author":"Focacci","year":"1999"},{"key":"S1471068411000275_ref6","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068410000372"},{"key":"S1471068411000275_ref3","doi-asserted-by":"crossref","unstructured":"Cattafi M. and Gavanelli M. 2011. A CLP(FD) program for the optimal placement of valves in a water distribution network [online]. URL: http:\/\/www.ing.unife.it\/docenti\/MarcoGavanelli\/software\/vp\/","DOI":"10.1017\/S1471068411000275"},{"key":"S1471068411000275_ref21","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BFb0017434","volume-title":"Proc. of International Conference on Principles and Practice of Constraint Programming (CP '97)","author":"Gomes","year":"1997"},{"key":"S1471068411000275_ref36","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russell","year":"2003"},{"key":"S1471068411000275_ref38","unstructured":"Schimpf J. 2009. ECLiPSe 6.0 Reference Manual, library(graph_algorithms) [online]. URL: http:\/\/www.eclipseclp.org\/doc\/bips\/lib\/graph_algorithms\/"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068411000275","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,27]],"date-time":"2021-11-27T17:32:46Z","timestamp":1638034366000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068411000275\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":43,"journal-issue":{"issue":"4-5","published-print":{"date-parts":[[2011,7]]}},"alternative-id":["S1471068411000275"],"URL":"https:\/\/doi.org\/10.1017\/s1471068411000275","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,7]]}}}