{"id":"https://openalex.org/W2041658218","doi":"https://doi.org/10.1145/1066677.1067005","title":"Box-set consistency for interval-based constraint problems","display_name":"Box-set consistency for interval-based constraint problems","publication_year":2005,"publication_date":"2005-03-13","ids":{"openalex":"https://openalex.org/W2041658218","doi":"https://doi.org/10.1145/1066677.1067005","mag":"2041658218"},"language":"en","primary_location":{"id":"doi:10.1145/1066677.1067005","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1066677.1067005","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2005 ACM symposium on Applied computing","raw_type":"proceedings-article"},"type":"conference-paper","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/A5070418050","display_name":"Gilles Chabert","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gilles Chabert","raw_affiliation_strings":["Projet Coprin I3S-INRIA-CERTIS, Sophia Antipolis Cedex, France","Projet Coprin I3S-INRIA-CERTIS, Sophia Antipolis Cedex, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Projet Coprin I3S-INRIA-CERTIS, Sophia Antipolis Cedex, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Projet Coprin I3S-INRIA-CERTIS, Sophia Antipolis Cedex, France#TAB#","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002845825","display_name":"Gilles Trombettoni","orcid":"https://orcid.org/0000-0002-5283-7203"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gilles Trombettoni","raw_affiliation_strings":["Projet Coprin I3S-INRIA-CERTIS, Sophia Antipolis Cedex, France","Projet Coprin I3S-INRIA-CERTIS, Sophia Antipolis Cedex, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Projet Coprin I3S-INRIA-CERTIS, Sophia Antipolis Cedex, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Projet Coprin I3S-INRIA-CERTIS, Sophia Antipolis Cedex, France#TAB#","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003911837","display_name":"Bertrand Neveu","orcid":"https://orcid.org/0000-0002-1939-771X"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Bertrand Neveu","raw_affiliation_strings":["Projet Coprin I3S-INRIA-CERTIS, Sophia Antipolis Cedex, France","Projet Coprin I3S-INRIA-CERTIS, Sophia Antipolis Cedex, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Projet Coprin I3S-INRIA-CERTIS, Sophia Antipolis Cedex, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Projet Coprin I3S-INRIA-CERTIS, Sophia Antipolis Cedex, France#TAB#","institution_ids":["https://openalex.org/I1326498283"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I1326498283"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1439","last_page":"1443"},"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.9772999882698059,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9739000201225281,"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/local-consistency","display_name":"Local consistency","score":0.7065490484237671},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.6156262159347534},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5290559530258179},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.513710618019104},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.47113388776779175},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4647805690765381},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.43267568945884705},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.42821332812309265},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.4204462170600891},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.417447030544281},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3666107952594757},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.25296464562416077},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13997778296470642}],"concepts":[{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.7065490484237671},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.6156262159347534},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5290559530258179},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.513710618019104},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.47113388776779175},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4647805690765381},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.43267568945884705},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.42821332812309265},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.4204462170600891},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.417447030544281},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3666107952594757},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.25296464562416077},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13997778296470642},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1066677.1067005","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1066677.1067005","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2005 ACM symposium on Applied computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W383457797","https://openalex.org/W1548650523","https://openalex.org/W1563516866","https://openalex.org/W1588693185","https://openalex.org/W1595068075","https://openalex.org/W1984540483","https://openalex.org/W1990426442","https://openalex.org/W2002478775","https://openalex.org/W2056603712","https://openalex.org/W2060040854","https://openalex.org/W2061734130","https://openalex.org/W2243616353","https://openalex.org/W2476859540","https://openalex.org/W2520341567","https://openalex.org/W2592915588","https://openalex.org/W2984454117","https://openalex.org/W6633007324","https://openalex.org/W6633808643","https://openalex.org/W6635220200"],"related_works":["https://openalex.org/W2096498751","https://openalex.org/W1941941198","https://openalex.org/W2008412758","https://openalex.org/W2164995515","https://openalex.org/W1969837282","https://openalex.org/W14991534","https://openalex.org/W1967597280","https://openalex.org/W142570753","https://openalex.org/W1583995572","https://openalex.org/W2923662005"],"abstract_inverted_index":{"As":[0],"opposed":[1],"to":[2,38,75,149,160],"finite":[3],"domain":[4,69],"CSPs,":[5],"arc":[6,39],"consistency":[7,62,82],"cannot":[8],"be":[9,42,73],"enforced,":[10],"in":[11,36,87,107],"general,":[12],"on":[13,44,153],"CSPs":[14],"over":[15],"the":[16,27,95,108,112,135],"reals,":[17],"including":[18],"very":[19],"simple":[20],"instances.":[21],"In":[22],"contrast,":[23],"a":[24,33,45,56,119,123,150,154],"stronger":[25],"property,":[26,53],"so-called":[28],"box-set":[29,81],"consistency,":[30,40],"that":[31,59],"requires":[32],"no-split":[34],"condition":[35],"addition":[37],"can":[41,72],"obtained":[43],"much":[46],"larger":[47],"number":[48],"of":[49,89,103,125,131,137],"problems.To":[50],"obtain":[51],"this":[52],"we":[54,110,144],"devise":[55],"lazy":[57],"algorithm":[58,139],"combines":[60],"hull":[61],"filtering,":[63],"interval":[64],"union":[65],"projection,":[66],"and":[67,79,140],"intelligent":[68],"splitting.":[70],"It":[71],"applied":[74],"any":[76],"numerical":[77],"CSP,":[78],"achieves":[80],"if":[83,94],"constraints":[84],"are":[85],"redundancy-free":[86],"terms":[88],"variables.":[90],"This":[91],"holds":[92],"even":[93],"problem":[96],"is":[97],"not":[98],"intervalconvex.":[99],"The":[100],"main":[101],"contribution":[102],"our":[104,138],"approach":[105],"lies":[106],"way":[109],"bypass":[111],"non-convexity":[113],"issue,":[114],"which":[115],"so":[116],"far":[117],"was":[118],"synonym":[120],"for":[121],"either":[122],"loss":[124],"accuracy":[126],"or":[127],"an":[128,165],"unbounded":[129],"growth":[130],"label":[132],"size.We":[133],"prove":[134],"correctness":[136],"through":[141],"experimental":[142],"results,":[143],"show":[145],"that,":[146],"as":[147],"compared":[148],"strategy":[151],"based":[152],"standard":[155],"bisection,":[156],"it":[157],"may":[158],"lead":[159],"gains":[161],"while":[162],"never":[163],"producing":[164],"overhead.":[166]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}