{"id":"https://openalex.org/W3190202914","doi":"https://doi.org/10.24963/ijcai.2021/191","title":"Efficiently Explaining CSPs with Unsatisfiable Subset Optimization","display_name":"Efficiently Explaining CSPs with Unsatisfiable Subset Optimization","publication_year":2021,"publication_date":"2021-08-01","ids":{"openalex":"https://openalex.org/W3190202914","doi":"https://doi.org/10.24963/ijcai.2021/191","mag":"3190202914"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2021/191","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2021/191","pdf_url":"https://www.ijcai.org/proceedings/2021/0191.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2021/0191.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001989210","display_name":"Emilio Gamba","orcid":"https://orcid.org/0000-0003-1720-9428"},"institutions":[{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Emilio Gamba","raw_affiliation_strings":["Vrije Universiteit Brussel","Vrije Universiteit Brussel, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Brussel","institution_ids":["https://openalex.org/I13469542"]},{"raw_affiliation_string":"Vrije Universiteit Brussel, Belgium","institution_ids":["https://openalex.org/I13469542"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089527287","display_name":"Bart Bogaerts","orcid":"https://orcid.org/0000-0003-3460-4251"},"institutions":[{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Bart Bogaerts","raw_affiliation_strings":["Vrije Universiteit Brussel","Vrije Universiteit Brussel, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Brussel","institution_ids":["https://openalex.org/I13469542"]},{"raw_affiliation_string":"Vrije Universiteit Brussel, Belgium","institution_ids":["https://openalex.org/I13469542"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041230402","display_name":"Tias Guns","orcid":"https://orcid.org/0000-0002-2156-2155"},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]},{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Tias Guns","raw_affiliation_strings":["KULeuven","Vrije Universiteit Brussel","KU Leuven, Belgium","Vrije Universiteit Brussel, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KULeuven","institution_ids":["https://openalex.org/I99464096"]},{"raw_affiliation_string":"Vrije Universiteit Brussel","institution_ids":["https://openalex.org/I13469542"]},{"raw_affiliation_string":"KU Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]},{"raw_affiliation_string":"Vrije Universiteit Brussel, Belgium","institution_ids":["https://openalex.org/I13469542"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5001989210"],"corresponding_institution_ids":["https://openalex.org/I13469542"],"apc_list":null,"apc_paid":null,"fwci":0.961,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.77148554,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1381","last_page":"1388"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9986000061035156,"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.9986000061035156,"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.9922000169754028,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9828000068664551,"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/inference","display_name":"Inference","score":0.6547675132751465},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6314635872840881},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.6021591424942017},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5824335217475891},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5585073828697205},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.5475505590438843},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5008230209350586},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4762730002403259},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44781729578971863},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.41149652004241943},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28883469104766846},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18462562561035156}],"concepts":[{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6547675132751465},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6314635872840881},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.6021591424942017},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5824335217475891},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5585073828697205},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.5475505590438843},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5008230209350586},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4762730002403259},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44781729578971863},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.41149652004241943},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28883469104766846},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18462562561035156},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"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/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","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":2,"locations":[{"id":"doi:10.24963/ijcai.2021/191","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2021/191","pdf_url":"https://www.ijcai.org/proceedings/2021/0191.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},{"id":"pmh:oai:lirias2repo.kuleuven.be:20.500.12942/686029","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/20.500.12942/686029","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"International Joint Conference on Artificial Intelligence, Montreal, Canada, 21-26 August 2021","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2021/191","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2021/191","pdf_url":"https://www.ijcai.org/proceedings/2021/0191.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4244297582","display_name":"Conversational Human-Aware Technology for Optimisation","funder_award_id":"101002802","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8732603499","display_name":null,"funder_award_id":"G070521N","funder_id":"https://openalex.org/F4320321730","funder_display_name":"Fonds Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321730","display_name":"Fonds Wetenschappelijk Onderzoek","ror":"https://ror.org/03qtxy027"},{"id":"https://openalex.org/F4320327336","display_name":"Vlaamse regering","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3190202914.pdf","grobid_xml":"https://content.openalex.org/works/W3190202914.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W47957325","https://openalex.org/W81859766","https://openalex.org/W111132822","https://openalex.org/W116541839","https://openalex.org/W1519758409","https://openalex.org/W1593288312","https://openalex.org/W1726810408","https://openalex.org/W1898652832","https://openalex.org/W2020169768","https://openalex.org/W2087418187","https://openalex.org/W2103506394","https://openalex.org/W2108309071","https://openalex.org/W2126900870","https://openalex.org/W2145199041","https://openalex.org/W2544773140","https://openalex.org/W2615896489","https://openalex.org/W2951537718","https://openalex.org/W2962772482","https://openalex.org/W2962862931","https://openalex.org/W2963095307","https://openalex.org/W2964359568","https://openalex.org/W3003794402","https://openalex.org/W3041778613","https://openalex.org/W3091355250","https://openalex.org/W4206807714","https://openalex.org/W4254523561","https://openalex.org/W4318345709","https://openalex.org/W4403451191"],"related_works":["https://openalex.org/W2055243143","https://openalex.org/W1524973174","https://openalex.org/W2580986343","https://openalex.org/W2102858635","https://openalex.org/W1505402803","https://openalex.org/W1499428733","https://openalex.org/W2046178780","https://openalex.org/W4321636575","https://openalex.org/W1565732763","https://openalex.org/W2023722467"],"abstract_inverted_index":{"We":[0,54,155],"build":[1,55],"on":[2,56,122],"a":[3,18,105,116,129],"recently":[4],"proposed":[5],"method":[6,106,130,142],"for":[7,99,111,131,172],"explaining":[8],"solutions":[9],"of":[10,20,27,38,51,168],"constraint":[11,173],"satisfaction":[12,174],"problems.":[13],"An":[14],"explanation":[15,170],"here":[16],"is":[17,31,143],"sequence":[19,46],"simple":[21],"inference":[22,29],"steps,":[23],"where":[24,44],"the":[25,34,45,52,77,123],"simplicity":[26],"an":[28,94],"step":[30],"measured":[32],"by":[33],"number":[35],"and":[36,40,43,60,81,127],"types":[37],"constraints":[39,121],"facts":[41],"used,":[42],"explains":[47],"all":[48],"logical":[49],"consequences":[50],"problem.":[53],"these":[57,89,139],"formal":[58],"foundations":[59],"tackle":[61],"two":[62],"emerging":[63],"questions,":[64,90],"namely":[65],"how":[66,82],"to":[67,76,83,107,115,138,146,164],"generate":[68,84],"explanations":[69],"that":[70,119,149,158],"are":[71],"provably":[72],"optimal":[73,101,169],"(with":[74],"respect":[75],"given":[78],"cost":[79],"metric)":[80],"them":[85],"efficiently.":[86],"To":[87],"answer":[88],"we":[91],"develop":[92],"1)":[93],"implicit":[95],"hitting":[96],"set":[97],"algorithm":[98],"finding":[100,151],"unsatisfiable":[102,113],"subsets;":[103],"2)":[104],"reduce":[108],"multiple":[109,136],"calls":[110,137],"(optimal)":[112],"subsets":[114],"single":[117],"call":[118],"takes":[120],"subset":[124],"into":[125],"account,":[126],"3)":[128],"re-using":[132],"relevant":[133],"information":[134],"over":[135],"algorithms.":[140],"The":[141],"also":[144],"applicable":[145],"other":[147],"problems":[148,175],"require":[150],"cost-optimal":[152],"unsatiable":[153],"subsets.":[154],"specifically":[156],"show":[157],"this":[159],"approach":[160],"can":[161],"be":[162],"used":[163],"effectively":[165],"find":[166],"sequences":[167],"steps":[171],"like":[176],"logic":[177],"grid":[178],"puzzles.":[179]},"counts_by_year":[{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-10-10T00:00:00"}