{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:47Z","timestamp":1750306787336,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,16]],"date-time":"2013-09-16T00:00:00Z","timestamp":1379289600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Australian Government"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,9,16]]},"DOI":"10.1145\/2505879.2505905","type":"proceedings-article","created":{"date-parts":[[2013,9,17]],"date-time":"2013-09-17T19:57:05Z","timestamp":1379447825000},"page":"217-227","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Finite type extensions in constraint programming"],"prefix":"10.1145","author":[{"given":"Rafael","family":"Caballero","sequence":"first","affiliation":[{"name":"University Complutense of Madrid"}]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[{"name":"NICTA and the University of Melbourne"}]},{"given":"Antonio","family":"Tenorio-Forn\u00e9s","sequence":"additional","affiliation":[{"name":"University Complutense of Madrid"}]}],"member":"320","published-online":{"date-parts":[[2013,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/873735.873740"},{"key":"e_1_3_2_1_2_1","first-page":"55","author":"Caballero R.","year":"2012","unstructured":"R. Caballero , J. Luz\u00f3n-Mart\u00edn , and A. Tenorio-Forn\u00e9s . Test-Case Generation for SQL Nested Queries with Existential Conditions. Electronic Communications of the EASST , 55 , 2012 . R. Caballero, J. Luz\u00f3n-Mart\u00edn, and A. Tenorio-Forn\u00e9s. Test-Case Generation for SQL Nested Queries with Existential Conditions. Electronic Communications of the EASST, 55, 2012.","journal-title":"Electronic Communications of the EASST"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/320107.320109"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/16301.16303"},{"key":"e_1_3_2_1_6_1","series-title":"LNCS","first-page":"367","volume-title":"Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming","author":"Frisch A.","year":"2009","unstructured":"A. Frisch and P. Stuckey . The proper treatment of undefinedness in constraint languages . In I. Gent, editor, Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming , volume 5732 of LNCS , pages 367 -- 382 . Springer-Verlag , 2009 . A. Frisch and P. Stuckey. The proper treatment of undefinedness in constraint languages. In I. Gent, editor, Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming, volume 5732 of LNCS, pages 367--382. Springer-Verlag, 2009."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/138027.138060"},{"key":"e_1_3_2_1_8_1","volume-title":"Standard for Binary Floating-Point Arithmetic","author":"IEEE","year":"1985","unstructured":"IEEE Task P754. ANSI\/IEEE 754-1985 , Standard for Binary Floating-Point Arithmetic . IEEE , Aug. 1985 . IEEE Task P754. ANSI\/IEEE 754-1985, Standard for Binary Floating-Point Arithmetic. IEEE, Aug. 1985."},{"key":"e_1_3_2_1_9_1","first-page":"117","volume-title":"ICLP (Technical Communications)","author":"Koninck L. D.","year":"2011","unstructured":"L. D. Koninck , S. Brand , and P. J. Stuckey . Constraints in non-boolean contexts . In ICLP (Technical Communications) , pages 117 -- 127 , 2011 . L. D. Koninck, S. Brand, and P. J. Stuckey. Constraints in non-boolean contexts. In ICLP (Technical Communications), pages 117--127, 2011."},{"key":"e_1_3_2_1_10_1","first-page":"555","volume-title":"Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference","author":"Laborie P.","year":"2008","unstructured":"P. Laborie and J. Rogerie . Reasoning with conditional time-intervals. In D. C. Wilson and H. C. Lane, editors , Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference , pages 555 -- 560 . AAAI Press , 2008 . P. Laborie and J. Rogerie. Reasoning with conditional time-intervals. In D. C. Wilson and H. C. Lane, editors, Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, pages 555--560. AAAI Press, 2008."},{"key":"e_1_3_2_1_11_1","volume-title":"Oxford University Press","author":"Malinowski G.","year":"1993","unstructured":"G. Malinowski . Many-Valued Logics . Oxford University Press , 1993 . G. Malinowski. Many-Valued Logics. Oxford University Press, 1993."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1771668.1771709"},{"key":"e_1_3_2_1_13_1","unstructured":"C. Schulte M. Z. Lagerkvist and G. Tack. Gecode. http:\/\/www.gecode.org\/.  C. Schulte M. Z. Lagerkvist and G. Tack. Gecode. http:\/\/www.gecode.org\/."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38171-3_18"}],"event":{"name":"PPDP '13: 15th International Symposium on Principles and Practice of Declarative Programming","sponsor":["Universidad Complutense de Madrid","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Madrid Spain","acronym":"PPDP '13"},"container-title":["Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2505879.2505905","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2505879.2505905","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:34:17Z","timestamp":1750232057000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2505879.2505905"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,16]]},"references-count":13,"alternative-id":["10.1145\/2505879.2505905","10.1145\/2505879"],"URL":"https:\/\/doi.org\/10.1145\/2505879.2505905","relation":{},"subject":[],"published":{"date-parts":[[2013,9,16]]},"assertion":[{"value":"2013-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}