{"id":"https://openalex.org/W2144957128","doi":"https://doi.org/10.3233/fi-2009-177","title":"Integrating Finite Domain and Set Constraints into a Set-based Constraint Language","display_name":"Integrating Finite Domain and Set Constraints into a Set-based Constraint Language","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W2144957128","doi":"https://doi.org/10.3233/fi-2009-177","mag":"2144957128"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2009-177","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2009-177","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012267862","display_name":"Federico Bergenti","orcid":"https://orcid.org/0000-0002-4756-4765"},"institutions":[{"id":"https://openalex.org/I124601658","display_name":"University of Parma","ror":"https://ror.org/02k7wn190","country_code":"IT","type":"education","lineage":["https://openalex.org/I124601658"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Federico Bergenti","raw_affiliation_strings":["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","Dipartimento di Matematica Universit\u00e0 degli Studi di Parma Viale G. P. Usberti 53, 43100 Parma, Italy. E-mail: gianfranco.rossi@unipr.it"],"affiliations":[{"raw_affiliation_string":"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","institution_ids":["https://openalex.org/I124601658"]},{"raw_affiliation_string":"Dipartimento di Matematica Universit\u00e0 degli Studi di Parma Viale G. P. Usberti 53, 43100 Parma, Italy. E-mail: gianfranco.rossi@unipr.it","institution_ids":["https://openalex.org/I124601658"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046219129","display_name":"Alessandro Dal Pal\u00f9","orcid":"https://orcid.org/0000-0003-0353-158X"},"institutions":[{"id":"https://openalex.org/I124601658","display_name":"University of Parma","ror":"https://ror.org/02k7wn190","country_code":"IT","type":"education","lineage":["https://openalex.org/I124601658"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro Dal Pal `","raw_affiliation_strings":["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","Dipartimento di Matematica Universit\u00e0 degli Studi di Parma Viale G. P. Usberti 53, 43100 Parma, Italy. E-mail: gianfranco.rossi@unipr.it"],"affiliations":[{"raw_affiliation_string":"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","institution_ids":["https://openalex.org/I124601658"]},{"raw_affiliation_string":"Dipartimento di Matematica Universit\u00e0 degli Studi di Parma Viale G. P. Usberti 53, 43100 Parma, Italy. E-mail: gianfranco.rossi@unipr.it","institution_ids":["https://openalex.org/I124601658"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062894556","display_name":"Gianfranco Rossi","orcid":"https://orcid.org/0000-0002-6970-8790"},"institutions":[{"id":"https://openalex.org/I124601658","display_name":"University of Parma","ror":"https://ror.org/02k7wn190","country_code":"IT","type":"education","lineage":["https://openalex.org/I124601658"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gianfranco Rossi","raw_affiliation_strings":["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","Dipartimento di Matematica Universit\u00e0 degli Studi di Parma Viale G. P. Usberti 53, 43100 Parma, Italy. E-mail: gianfranco.rossi@unipr.it"],"affiliations":[{"raw_affiliation_string":"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","institution_ids":["https://openalex.org/I124601658"]},{"raw_affiliation_string":"Dipartimento di Matematica Universit\u00e0 degli Studi di Parma Viale G. P. Usberti 53, 43100 Parma, Italy. E-mail: gianfranco.rossi@unipr.it","institution_ids":["https://openalex.org/I124601658"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5012267862"],"corresponding_institution_ids":["https://openalex.org/I124601658"],"apc_list":null,"apc_paid":null,"fwci":0.6857,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.74336103,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"96","issue":"3","first_page":"227","last_page":"252"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.991599977016449,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6610395908355713},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6087196469306946},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5746096968650818},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5234567523002625},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43189725279808044},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40827813744544983},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3223530650138855}],"concepts":[{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6610395908355713},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6087196469306946},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5746096968650818},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5234567523002625},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43189725279808044},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40827813744544983},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3223530650138855},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/fi-2009-177","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2009-177","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W173646946","https://openalex.org/W1510241546","https://openalex.org/W1522189295","https://openalex.org/W1733489975","https://openalex.org/W1772855117","https://openalex.org/W1964166152","https://openalex.org/W1982482731","https://openalex.org/W2001769932","https://openalex.org/W2007319395","https://openalex.org/W2012032056","https://openalex.org/W2025415897","https://openalex.org/W2027319813","https://openalex.org/W2036311242","https://openalex.org/W2037783464","https://openalex.org/W2079333278","https://openalex.org/W2085716817","https://openalex.org/W2117852264","https://openalex.org/W2138233214","https://openalex.org/W2167206762","https://openalex.org/W2913519671","https://openalex.org/W3150454502"],"related_works":["https://openalex.org/W2807251790","https://openalex.org/W2799406489","https://openalex.org/W2049792449","https://openalex.org/W986251431","https://openalex.org/W2503798035","https://openalex.org/W2963420405","https://openalex.org/W563727013","https://openalex.org/W2502468346","https://openalex.org/W3094553985","https://openalex.org/W2005456264"],"abstract_inverted_index":{"This":[0],"paper":[1,32],"summarizes":[2],"a":[3,17,60,94],"constraint":[4,19,40,53,89,105,131],"solving":[5,106],"technique":[6],"that":[7,21,65,101],"is":[8,55],"used":[9],"to":[10],"reason":[11],"effectively":[12],"in":[13,57,127],"the":[14,34,39,43,51,71,88,99,109,112],"scope":[15],"of":[16,30,45,59,62,120],"set-based":[18],"language":[20,44],"supersedes":[22],"existing":[23,128],"finite":[24,67,129],"domain":[25,68,121,130],"languages.":[26],"The":[27,74],"first":[28],"part":[29],"this":[31],"motivates":[33],"presented":[35],"work":[36,79],"and":[37,91,118],"introduces":[38],"language,":[41],"namely":[42],"Hereditarily":[46],"Finite":[47],"Sets":[48],"(HFS).":[49],"Then,":[50],"proposed":[52,75,113],"solver":[54,100],"detailed":[56],"terms":[58],"set":[61],"rewrite":[63],"rules":[64],"exploit":[66],"reasoning":[69],"within":[70],"HFS":[72],"language.":[73],"solution":[76],"improves":[77],"previous":[78],"on":[80],"CLP":[81],"(SET)":[82],"[11]":[83],"by":[84,92],"integrating":[85],"intervals":[86],"into":[87],"system":[90],"providing":[93],"new":[95],"layered":[96],"architecture":[97],"for":[98],"supports":[102],"more":[103],"effective":[104],"strategies.":[107],"On":[108],"other":[110],"hand,":[111],"approach":[114],"provides":[115],"enhanced":[116],"expressivity":[117],"flexibility":[119],"representation":[122],"than":[123],"those":[124],"usually":[125],"found":[126],"solvers.":[132]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}