{"id":"https://openalex.org/W2030013846","doi":"https://doi.org/10.1080/09528130802667690","title":"Solving finite domain constraint hierarchies by local consistency and tree search","display_name":"Solving finite domain constraint hierarchies by local consistency and tree search","publication_year":2009,"publication_date":"2009-06-26","ids":{"openalex":"https://openalex.org/W2030013846","doi":"https://doi.org/10.1080/09528130802667690","mag":"2030013846"},"language":"en","primary_location":{"id":"doi:10.1080/09528130802667690","is_oa":false,"landing_page_url":"https://doi.org/10.1080/09528130802667690","pdf_url":null,"source":{"id":"https://openalex.org/S153467142","display_name":"Journal of Experimental & Theoretical Artificial Intelligence","issn_l":"0952-813X","issn":["0952-813X","1362-3079"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Experimental & Theoretical Artificial Intelligence","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/A5015618878","display_name":"Stefano Bistarelli","orcid":"https://orcid.org/0000-0001-7411-9678"},"institutions":[{"id":"https://openalex.org/I39387349","display_name":"University of Chieti-Pescara","ror":"https://ror.org/00qjgza05","country_code":"IT","type":"education","lineage":["https://openalex.org/I39387349"]},{"id":"https://openalex.org/I4210130157","display_name":"Institute of Informatics and Telematics","ror":"https://ror.org/02gdcn153","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210130157","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Stefano Bistarelli","raw_affiliation_strings":["Istituto di Informatica e Telematica, CNR, Pisa, Italy ; Dipartimento di Scienze, Universit\u00e1 \u2018G. d'Annunzio\u2019, Pescara, Italy","Dipartimento di Scienze , Universit\u00e1 \u2018G. d'Annunzio\u2019 , Pescara, Italy","Istituto di Informatica e Telematica , CNR, Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Istituto di Informatica e Telematica, CNR, Pisa, Italy ; Dipartimento di Scienze, Universit\u00e1 \u2018G. d'Annunzio\u2019, Pescara, Italy","institution_ids":["https://openalex.org/I4210130157"]},{"raw_affiliation_string":"Dipartimento di Scienze , Universit\u00e1 \u2018G. d'Annunzio\u2019 , Pescara, Italy","institution_ids":["https://openalex.org/I39387349"]},{"raw_affiliation_string":"Istituto di Informatica e Telematica , CNR, Pisa, Italy","institution_ids":["https://openalex.org/I4210130157"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109832378","display_name":"Philippe Codognet","orcid":null},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210129850","display_name":"D\u00e9l\u00e9gation Paris 6","ror":"https://ror.org/03rt48n94","country_code":"FR","type":"government","lineage":["https://openalex.org/I154526488","https://openalex.org/I4210129850"]},{"id":"https://openalex.org/I4210145396","display_name":"Interdisciplinary University of Paris","ror":"https://ror.org/04pcdsm76","country_code":"FR","type":"other","lineage":["https://openalex.org/I4210145396"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Philippe Codognet","raw_affiliation_strings":["Department of Computer Science, University of Paris 6, Paris, France","Department of Computer Science , University of Paris 6 , Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Paris 6, Paris, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I4210129850","https://openalex.org/I4210145396"]},{"raw_affiliation_string":"Department of Computer Science , University of Paris 6 , Paris, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I39804081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110054835","display_name":"Hon Kit Hui","orcid":null},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"H.K.C. Hui","raw_affiliation_strings":["Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong SAR, China","Department of Computer Science and Engineering , The Chinese University of Hong Kong , Hong Kong SAR, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong SAR, China","institution_ids":["https://openalex.org/I177725633"]},{"raw_affiliation_string":"Department of Computer Science and Engineering , The Chinese University of Hong Kong , Hong Kong SAR, China","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100651767","display_name":"Jimmy H. M. Lee","orcid":"https://orcid.org/0000-0001-9526-5850"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"J.H.M. Lee","raw_affiliation_strings":["Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong SAR, China","Department of Computer Science and Engineering , The Chinese University of Hong Kong , Hong Kong SAR, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong SAR, China","institution_ids":["https://openalex.org/I177725633"]},{"raw_affiliation_string":"Department of Computer Science and Engineering , The Chinese University of Hong Kong , Hong Kong SAR, China","institution_ids":["https://openalex.org/I177725633"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5015618878"],"corresponding_institution_ids":["https://openalex.org/I39387349","https://openalex.org/I4210130157"],"apc_list":null,"apc_paid":null,"fwci":0.405,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.73716012,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"21","issue":"4","first_page":"233","last_page":"257"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9642999768257141,"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"}},{"id":"https://openalex.org/T12401","display_name":"Scheduling and Timetabling Solutions","score":0.9628999829292297,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/local-consistency","display_name":"Local consistency","score":0.8298516869544983},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.8292299509048462},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7203069925308228},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.6404160261154175},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5775505304336548},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5063873529434204},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.49121540784835815},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.486405611038208},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint logic programming","score":0.48559993505477905},{"id":"https://openalex.org/keywords/search-tree","display_name":"Search tree","score":0.4855944514274597},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4671712815761566},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.4455667734146118},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.39429205656051636},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38453561067581177},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36695656180381775},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23294976353645325},{"id":"https://openalex.org/keywords/search-algorithm","display_name":"Search algorithm","score":0.22458380460739136},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1019202470779419},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.07319667935371399}],"concepts":[{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.8298516869544983},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.8292299509048462},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7203069925308228},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.6404160261154175},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5775505304336548},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5063873529434204},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.49121540784835815},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.486405611038208},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.48559993505477905},{"id":"https://openalex.org/C207024777","wikidata":"https://www.wikidata.org/wiki/Q621673","display_name":"Search tree","level":3,"score":0.4855944514274597},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4671712815761566},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.4455667734146118},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.39429205656051636},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38453561067581177},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36695656180381775},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23294976353645325},{"id":"https://openalex.org/C125583679","wikidata":"https://www.wikidata.org/wiki/Q755673","display_name":"Search algorithm","level":2,"score":0.22458380460739136},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1019202470779419},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.07319667935371399},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/09528130802667690","is_oa":false,"landing_page_url":"https://doi.org/10.1080/09528130802667690","pdf_url":null,"source":{"id":"https://openalex.org/S153467142","display_name":"Journal of Experimental & Theoretical Artificial Intelligence","issn_l":"0952-813X","issn":["0952-813X","1362-3079"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Experimental & Theoretical Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W25061826","https://openalex.org/W106636391","https://openalex.org/W320393872","https://openalex.org/W1485061130","https://openalex.org/W1487478819","https://openalex.org/W1490489754","https://openalex.org/W1507843538","https://openalex.org/W1526800230","https://openalex.org/W1526921546","https://openalex.org/W1534298180","https://openalex.org/W1567384271","https://openalex.org/W1571540924","https://openalex.org/W1579120539","https://openalex.org/W1592998112","https://openalex.org/W1625396064","https://openalex.org/W1972307965","https://openalex.org/W1995872245","https://openalex.org/W2011617423","https://openalex.org/W2016321606","https://openalex.org/W2044405428","https://openalex.org/W2053637323","https://openalex.org/W2073536284","https://openalex.org/W2084041193","https://openalex.org/W2088407946","https://openalex.org/W2089683553","https://openalex.org/W2109992583","https://openalex.org/W2111476907","https://openalex.org/W2135432705","https://openalex.org/W2156525231","https://openalex.org/W2171074980","https://openalex.org/W2914764211","https://openalex.org/W4235581521","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1486916474","https://openalex.org/W4303044088","https://openalex.org/W2091348864","https://openalex.org/W2569549435","https://openalex.org/W96881443","https://openalex.org/W2140769824","https://openalex.org/W2141935412","https://openalex.org/W2784687883","https://openalex.org/W1544601823","https://openalex.org/W2032348095"],"abstract_inverted_index":{"We":[0,41],"provide":[1],"a":[2,37,59],"reformulation":[3],"of":[4,14,21,71],"the":[5,12,18,44,52,67],"constraint":[6,26,31],"hierarchies":[7],"(CHs)":[8],"framework":[9],"based":[10],"on":[11],"notion":[13],"error":[15,98],"indicators.":[16],"Adapting":[17],"generalised":[19],"view":[20],"local":[22,87],"consistency":[23],"in":[24],"semiring-based":[25],"satisfaction":[27],"problems,":[28],"we":[29],"define":[30],"hierarchy":[32],"k-consistency":[33],"(CH-k-C)":[34],"and":[35,69,88],"give":[36],"CH-2-C":[38,45],"enforcement":[39],"algorithm.":[40],"demonstrate":[42],"how":[43],"algorithm":[46,55],"can":[47,95],"be":[48],"seamlessly":[49],"integrated":[50],"into":[51],"ordinary":[53],"branch-and-bound":[54],"to":[56],"make":[57],"it":[58],"finite":[60],"domain":[61],"(FD)":[62],"CH":[63,79],"solver.":[64],"Experimentation":[65],"confirms":[66],"efficiency":[68],"robustness":[70],"our":[72,81,93],"proposed":[73,82],"solver":[74,94],"prototype.":[75],"Unlike":[76],"other":[77],"FD":[78],"solvers,":[80],"method":[83],"works":[84],"for":[85],"both":[86],"global":[89],"comparators.":[90],"In":[91],"addition,":[92],"support":[96],"arbitrary":[97],"functions.":[99]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-08-15T07:11:24.734988","created_date":"2025-10-10T00:00:00"}