{"id":"https://openalex.org/W7138117057","doi":"https://doi.org/10.1609/aaai.v40i17.38439","title":"Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach","display_name":"Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach","publication_year":2026,"publication_date":"2026-03-14","ids":{"openalex":"https://openalex.org/W7138117057","doi":"https://doi.org/10.1609/aaai.v40i17.38439"},"language":null,"primary_location":{"id":"doi:10.1609/aaai.v40i17.38439","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i17.38439","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/38439/42401","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://ojs.aaai.org/index.php/AAAI/article/download/38439/42401","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066754444","display_name":"Hannes Ihalainen","orcid":"https://orcid.org/0000-0002-4608-7549"},"institutions":[{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Hannes Ihalainen","raw_affiliation_strings":["University of Helsinki"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Helsinki","institution_ids":["https://openalex.org/I133731052"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061078936","display_name":"Dieter Vandesande","orcid":"https://orcid.org/0000-0002-8150-3202"},"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":"Dieter Vandesande","raw_affiliation_strings":["Vrije Universiteit Brussel\nKU Leuven"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Brussel\nKU Leuven","institution_ids":["https://openalex.org/I13469542"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017525048","display_name":"Andr\u00e9 Schidler","orcid":"https://orcid.org/0000-0001-6790-7158"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Andr\u00e9 Schidler","raw_affiliation_strings":["University of Freiburg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Freiburg","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012730467","display_name":"Jeremias Berg","orcid":"https://orcid.org/0000-0001-7660-8061"},"institutions":[{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Jeremias Berg","raw_affiliation_strings":["University of Helsinki"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Helsinki","institution_ids":["https://openalex.org/I133731052"]}]},{"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":["KU Leuven\nVrije Universiteit Brussel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KU Leuven\nVrije Universiteit Brussel","institution_ids":["https://openalex.org/I13469542"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5129655204","display_name":"Matti J\u00e4rvisalo","orcid":null},"institutions":[{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Matti J\u00e4rvisalo","raw_affiliation_strings":["University of Helsinki"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Helsinki","institution_ids":["https://openalex.org/I133731052"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22340426,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"40","issue":"17","first_page":"14251","last_page":"14260"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.486299991607666,"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.486299991607666,"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/T10142","display_name":"Formal Methods in Verification","score":0.18610000610351562,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.12160000205039978,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/correctness","display_name":"Correctness","score":0.7994999885559082},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.7419000267982483},{"id":"https://openalex.org/keywords/iterated-function","display_name":"Iterated function","score":0.5896000266075134},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5859000086784363},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5853999853134155},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5475000143051147},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.521399974822998},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.42910000681877136}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7994999885559082},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.7419000267982483},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7289000153541565},{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.5896000266075134},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5859000086784363},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5853999853134155},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5475000143051147},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5343999862670898},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.521399974822998},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.42910000681877136},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38830000162124634},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.38190001249313354},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34200000762939453},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3384999930858612},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.3246000111103058},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.32339999079704285},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.3140999972820282},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.2854999899864197},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.27709999680519104},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.26510000228881836},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.26460000872612},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.26030001044273376},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.2556000053882599},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.2538999915122986}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1609/aaai.v40i17.38439","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i17.38439","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/38439/42401","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1609/aaai.v40i17.38439","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i17.38439","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/38439/42401","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7138117057.pdf","grobid_xml":"https://content.openalex.org/works/W7138117057.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0],"implicit":[1],"hitting":[2,36,65],"set":[3,66],"(IHS)":[4],"approach":[5],"offers":[6],"a":[7,21,112,119,161,173],"general":[8],"framework":[9],"for":[10,25,33,64,175,179,182],"solving":[11],"computationally":[12],"hard":[13],"combinatorial":[14],"optimization":[15,67,101],"problems":[16],"declaratively.":[17],"IHS":[18,186,192],"iterates":[19],"between":[20,114],"decision":[22,47],"oracle":[23,48],"used":[24],"extracting":[26],"sources":[27,42],"of":[28,43,72,89,97,104,109,169,185],"inconsistency":[29],"and":[30,116],"an":[31],"optimizer":[32],"computing":[34],"so-called":[35],"sets":[37],"(HSs)":[38],"over":[39],"the":[40,46,51,86,90,95,105,127,167,183,198,207],"accumulated":[41],"inconsistency.":[44],"While":[45],"is":[49,53],"language-specific,":[50],"optimizers":[52],"usually":[54],"instantiated":[55,152],"through":[56],"integer":[57],"programming.":[58],"We":[59,83],"explore":[60],"alternative":[61],"algorithmic":[62],"techniques":[63],"based":[68],"on":[69],"different":[70],"ways":[71],"employing":[73],"pseudo-Boolean":[74,98],"(PB)":[75],"reasoning":[76,155,171,196],"as":[77,79,102,172],"well":[78],"stochastic":[80],"local":[81],"search.":[82],"extensively":[84],"evaluate":[85],"practical":[87],"feasibility":[88],"alternatives":[91],"in":[92,94,144,194,197,206],"particular":[93],"context":[96],"(0-1":[99],"IP)":[100],"one":[103],"most":[106,128],"recent":[107],"instantiations":[108],"IHS.":[110],"Highlighting":[111],"trade-off":[113],"efficiency":[115],"reliability,":[117],"while":[118],"commercial":[120],"IP":[121,164],"solver":[122],"turns":[123],"out":[124],"to":[125,131,141,190],"remain":[126],"effective":[129],"way":[130],"instantiate":[132],"HS":[133,150,176],"computations,":[134,187],"it":[135],"can":[136,156,203],"cause":[137],"correctness":[138,184],"issues":[139],"due":[140],"numerical":[142],"instability;":[143],"fact,":[145],"we":[146,211],"show":[147],"that":[148],"exact":[149,163],"computations":[151,177],"via":[153],"PB":[154,170],"be":[157,204],"made":[158],"competitive":[159],"with":[160],"numerically":[162],"solver.":[165],"Furthermore,":[166],"use":[168],"basis":[174],"allows":[178],"obtaining":[180],"certificates":[181],"generally":[188],"applicable":[189],"any":[191],"instantiation":[193],"which":[195],"declarative":[199],"language":[200],"at":[201],"hand":[202],"captured":[205],"PB-based":[208],"proof":[209],"format":[210],"employ.":[212]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-03-18T00:00:00"}