{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T04:11:06Z","timestamp":1751429466109,"version":"3.41.0"},"reference-count":0,"publisher":"SAGE Publications","issue":"3","license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fundamenta Informaticae"],"published-print":{"date-parts":[[2009,10]]},"abstract":"<jats:p>This paper summarizes a constraint solving technique that is used to\n\t\t\t reason effectively in the scope of a set-based constraint language that\n\t\t\t supersedes existing finite domain languages. The first part of this paper\n\t\t\t motivates the presented work and introduces the constraint language, namely the \n\t\t\t language of Hereditarily Finite Sets (HFS). Then, the proposed constraint\n\t\t\t solver is detailed in terms of a set of rewrite rules that exploit finite\n\t\t\t domain reasoning within the HFS language. The proposed solution improves\n\t\t\t previous work on CLP (SET) [11] by integrating intervals into the constraint\n\t\t\t system and by providing a new layered architecture for the solver that supports\n\t\t\t more effective constraint solving strategies. On the other hand, the proposed\n\t\t\t approach provides enhanced expressivity and flexibility of domain\n\t\t\t representation than those usually found in existing finite domain constraint\n\t\t\t solvers.<\/jats:p>","DOI":"10.3233\/fi-2009-177","type":"journal-article","created":{"date-parts":[[2019,12,3]],"date-time":"2019-12-03T04:00:16Z","timestamp":1575345616000},"page":"227-252","source":"Crossref","is-referenced-by-count":3,"title":["Integrating Finite Domain and Set Constraints into a Set-based\t\t\t Constraint Language"],"prefix":"10.1177","volume":"96","author":[{"given":"Federico","family":"Bergenti","sequence":"first","affiliation":[{"name":"Dipartimento di Matematica Universit\u00e0 degli Studi di\r\t\t\t Parma Viale G. P. Usberti 53, 43100 Parma, Italy.\r\t\t\tE-mail: gianfranco.rossi@unipr.it"}]},{"given":"Alessandro","family":"Dal Pal `","sequence":"additional","affiliation":[{"name":"Dipartimento di Matematica Universit\u00e0 degli Studi di\r\t\t\t Parma Viale G. P. Usberti 53, 43100 Parma, Italy.\r\t\t\tE-mail: gianfranco.rossi@unipr.it"}]},{"given":"Gianfranco","family":"Rossi","sequence":"additional","affiliation":[{"name":"Dipartimento di Matematica Universit\u00e0 degli Studi di\r\t\t\t Parma Viale G. P. Usberti 53, 43100 Parma, Italy.\r\t\t\tE-mail: gianfranco.rossi@unipr.it"}]}],"member":"179","published-online":{"date-parts":[[2009,1]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2009-177","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2009-177","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T10:56:20Z","timestamp":1751367380000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-2009-177"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,10]]}},"alternative-id":["10.3233\/FI-2009-177"],"URL":"https:\/\/doi.org\/10.3233\/fi-2009-177","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"type":"print","value":"0169-2968"},{"type":"electronic","value":"1875-8681"}],"subject":[],"published":{"date-parts":[[2009,1]]}}}