{"id":"https://openalex.org/W4385764446","doi":"https://doi.org/10.24963/ijcai.2023/219","title":"Solving the Identifying Code Set Problem with Grouped Independent Support","display_name":"Solving the Identifying Code Set Problem with Grouped Independent Support","publication_year":2023,"publication_date":"2023-08-01","ids":{"openalex":"https://openalex.org/W4385764446","doi":"https://doi.org/10.24963/ijcai.2023/219"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2023/219","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/ijcai.2023/219","pdf_url":"https://www.ijcai.org/proceedings/2023/0219.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Second 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/2023/0219.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085460956","display_name":"Anna L. D. Latour","orcid":"https://orcid.org/0000-0002-5802-8271"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Anna L.D. Latour","raw_affiliation_strings":["National University of Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112853639","display_name":"Arunabha Sen","orcid":"https://orcid.org/0000-0002-5795-3465"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Arunabha Sen","raw_affiliation_strings":["Arizona State University, Tempe, AZ, USA"],"affiliations":[{"raw_affiliation_string":"Arizona State University, Tempe, AZ, USA","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041528950","display_name":"Kuldeep S. Meel","orcid":"https://orcid.org/0000-0001-9423-5270"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Kuldeep S. Meel","raw_affiliation_strings":["National University of Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5085460956"],"corresponding_institution_ids":["https://openalex.org/I165932596"],"apc_list":null,"apc_paid":null,"fwci":0.1523,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.58798629,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1971","last_page":"1978"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10207","display_name":"Advanced biosensing and bioanalysis techniques","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10207","display_name":"Advanced biosensing and bioanalysis techniques","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9796000123023987,"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/T12505","display_name":"Peptidase Inhibition and Analysis","score":0.9678999781608582,"subfield":{"id":"https://openalex.org/subfields/2730","display_name":"Oncology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cardinality","display_name":"Cardinality (data modeling)","score":0.7685308456420898},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.6032440662384033},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5982949733734131},{"id":"https://openalex.org/keywords/signature","display_name":"Signature (topology)","score":0.5654796361923218},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5567274689674377},{"id":"https://openalex.org/keywords/set-cover-problem","display_name":"Set cover problem","score":0.5380432605743408},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.5327370762825012},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.49819445610046387},{"id":"https://openalex.org/keywords/boolean-data-type","display_name":"Boolean data type","score":0.4827991724014282},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.44866782426834106},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44613486528396606},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.42458438873291016},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.4139316976070404},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35754212737083435},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3293999433517456},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.2078932821750641},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19413867592811584},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09924805164337158}],"concepts":[{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.7685308456420898},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.6032440662384033},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5982949733734131},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.5654796361923218},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5567274689674377},{"id":"https://openalex.org/C100808899","wikidata":"https://www.wikidata.org/wiki/Q1192100","display_name":"Set cover problem","level":3,"score":0.5380432605743408},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.5327370762825012},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.49819445610046387},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.4827991724014282},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.44866782426834106},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44613486528396606},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.42458438873291016},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.4139316976070404},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35754212737083435},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3293999433517456},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2078932821750641},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19413867592811584},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09924805164337158},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2023/219","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/ijcai.2023/219","pdf_url":"https://www.ijcai.org/proceedings/2023/0219.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2023/219","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/ijcai.2023/219","pdf_url":"https://www.ijcai.org/proceedings/2023/0219.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.41999998688697815,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G3000731886","display_name":null,"funder_award_id":"NRF-NRFFAI1-2019-0004","funder_id":"https://openalex.org/F4320320709","funder_display_name":"National Research Foundation Singapore"},{"id":"https://openalex.org/G3034753964","display_name":null,"funder_award_id":"grant","funder_id":"https://openalex.org/F4320320671","funder_display_name":"National Research Foundation"},{"id":"https://openalex.org/G611633116","display_name":null,"funder_award_id":"NRF Fellowship","funder_id":"https://openalex.org/F4320320671","funder_display_name":"National Research Foundation"},{"id":"https://openalex.org/G6600840300","display_name":null,"funder_award_id":"NRF Fellowship","funder_id":"https://openalex.org/F4320320709","funder_display_name":"National Research Foundation Singapore"}],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320320698","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49"},{"id":"https://openalex.org/F4320320709","display_name":"National Research Foundation Singapore","ror":"https://ror.org/03cpyc314"},{"id":"https://openalex.org/F4320322724","display_name":"Ministry of Education, India","ror":"https://ror.org/048xjjh50"},{"id":"https://openalex.org/F4320331617","display_name":"National Supercomputing Centre Singapore","ror":null}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385764446.pdf"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W1605798759","https://openalex.org/W2100609826","https://openalex.org/W2100994793","https://openalex.org/W2149902097","https://openalex.org/W2150310937","https://openalex.org/W2223094528","https://openalex.org/W2236948976","https://openalex.org/W2294347342","https://openalex.org/W2576217799","https://openalex.org/W2908675244","https://openalex.org/W2953089152","https://openalex.org/W2999944813","https://openalex.org/W3023171255","https://openalex.org/W3082816827","https://openalex.org/W3211000886","https://openalex.org/W4286901315","https://openalex.org/W4312721948","https://openalex.org/W6688970027","https://openalex.org/W6782347636","https://openalex.org/W6803113864"],"related_works":["https://openalex.org/W2002177687","https://openalex.org/W2058438338","https://openalex.org/W2019471580","https://openalex.org/W2941284322","https://openalex.org/W1567570895","https://openalex.org/W1971044761","https://openalex.org/W4287063599","https://openalex.org/W2997126574","https://openalex.org/W2100609826","https://openalex.org/W3015680468"],"abstract_inverted_index":{"An":[0],"important":[1],"problem":[2,25,45,180,219,232,244],"in":[3,13,15,21,41,59,134,280],"network":[4],"science":[5],"is":[6,311],"finding":[7,193,198],"an":[8,30,121,163],"optimal":[9],"placement":[10],"of":[11,51,68,71,101,107,112,116,120,124,146,154,166,247,258,282,289,303,319],"sensors":[12],"nodes":[14],"order":[16],"to":[17,47,74,136,176,181,260,272],"uniquely":[18,151],"detect":[19],"failures":[20],"the":[22,57,60,69,76,155,178,182,204,218,231,237,242,252,277,287,290,301,304,308,317,320,324],"network.":[23],"This":[24],"can":[26,240,255,293],"be":[27,96,294],"modelled":[28],"as":[29],"identifying":[31,86,143],"code":[32,87],"set":[33,53,88],"(ICS)":[34],"problem,":[35,90],"introduced":[36,129],"by":[37,130,142,298,307,323],"Karpovsky":[38],"et":[39,132],"al.":[40,133],"1998.":[42],"The":[43,118,267],"ICS":[44],"aims":[46],"find":[48],"a":[49,52,63,84,92,105,125,144,188,194,199,264,273],"cover":[50,61],"S,":[54,72],"such":[55],"that":[56,103,203,292],"elements":[58,70],"define":[62,152],"unique":[64,93],"signature":[65,94],"for":[66,98,192],"each":[67,99,114],"and":[73,173,221,234,296],"minimise":[75],"cover\u2019s":[77],"cardinality.":[78],"In":[79,158],"this":[80,159],"work,":[81,160],"we":[82,161],"study":[83],"generalised":[85],"(GICS)":[89],"where":[91],"must":[95],"found":[97,322],"subset":[100,145],"S":[102],"has":[104],"cardinality":[106,302,318],"at":[108,248],"most":[109,249],"k":[110],"(instead":[111],"just":[113],"element":[115],"S).":[117],"concept":[119],"independent":[122,167,170],"support":[123,171],"Boolean":[126],"formula":[127],"was":[128],"Chakraborty":[131],"2014":[135],"speed":[137],"up":[138,259,271],"propositional":[139],"model":[140],"counting,":[141],"variables":[147],"whose":[148,213],"truth":[149],"assignments":[150],"those":[153],"other":[156],"variables.":[157],"introduce":[162],"extended":[164],"version":[165],"support,":[168],"grouped":[169],"(GIS),":[172],"show":[174,202],"how":[175],"reduce":[177],"GICS":[179,243],"GIS":[183,225],"problem.":[184],"We":[185,201],"then":[186],"propose":[187],"new":[189],"solving":[190,284],"method":[191,254,269,279,310],"GICS,":[195],"based":[196],"on":[197,245,276],"GIS.":[200],"prior":[205],"state-of-the-art":[206],"approaches":[207],"yield":[208],"integer-linear":[209],"programming":[210],"(ILP)":[211],"models":[212],"sizes":[214],"grow":[215],"exponentially":[216],"with":[217,230],"size":[220,233],"k,":[222],"while":[223],"our":[224],"encoding":[226],"only":[227],"grows":[228],"polynomially":[229],"k.":[235],"While":[236],"ILP":[238,325],"approach":[239],"solve":[241],"networks":[246,257],"494":[250],"nodes,":[251],"GIS-based":[253,268,309],"handle":[256],"21":[261],"363":[262],"nodes;":[263],"\u223c40\u00d7":[265],"improvement.":[266],"shows":[270],"520\u00d7":[274],"improvement":[275],"ILP-based":[278],"terms":[281],"median":[283],"time.":[285],"For":[286],"majority":[288],"instances":[291],"encoded":[295],"solved":[297],"both":[299],"methods,":[300],"solution":[305,321],"returned":[306],"less":[312],"than":[313,316],"10%":[314],"larger":[315],"method.":[326]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}