{"id":"https://openalex.org/W3034487340","doi":"https://doi.org/10.24963/ijcai.2020/229","title":"Switch-List Representations in a Knowledge Compilation Map","display_name":"Switch-List Representations in a Knowledge Compilation Map","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3034487340","doi":"https://doi.org/10.24963/ijcai.2020/229","mag":"3034487340"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2020/229","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2020/229","pdf_url":"https://www.ijcai.org/proceedings/2020/0229.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Ninth 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/2020/0229.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059158185","display_name":"Ond\u0159ej \u010cepek","orcid":"https://orcid.org/0000-0002-6325-0897"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ond\u0159ej \u010cepek","raw_affiliation_strings":["Department of Theoretical Computer Science and Mathematical Logic Faculty of Mathematics and Physics Charles University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Theoretical Computer Science and Mathematical Logic Faculty of Mathematics and Physics Charles University","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080226886","display_name":"Milo\u0161 Chrom\u00fd","orcid":"https://orcid.org/0000-0002-5357-1304"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Milo\u0161 Chrom\u00fd","raw_affiliation_strings":["Department of Theoretical Computer Science and Mathematical Logic Faculty of Mathematics and Physics Charles University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Theoretical Computer Science and Mathematical Logic Faculty of Mathematics and Physics Charles University","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2708,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.63507599,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1651","last_page":"1657"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9961000084877014,"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"}},"topics":[{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9961000084877014,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9958999752998352,"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.9937999844551086,"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/succinctness","display_name":"Succinctness","score":0.7201855182647705},{"id":"https://openalex.org/keywords/truth-table","display_name":"Truth table","score":0.6923936009407043},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6618430614471436},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.6244181394577026},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5541790127754211},{"id":"https://openalex.org/keywords/truth-value","display_name":"Truth value","score":0.5321041345596313},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.520243763923645},{"id":"https://openalex.org/keywords/boolean-data-type","display_name":"Boolean data type","score":0.5184585452079773},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5101397633552551},{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.49244484305381775},{"id":"https://openalex.org/keywords/product-term","display_name":"Product term","score":0.4895244836807251},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.37994080781936646},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3016771674156189},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2807130217552185},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2758222222328186},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.24819377064704895},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.14615407586097717},{"id":"https://openalex.org/keywords/two-element-boolean-algebra","display_name":"Two-element Boolean algebra","score":0.14449095726013184},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.07880163192749023}],"concepts":[{"id":"https://openalex.org/C2776493592","wikidata":"https://www.wikidata.org/wiki/Q5158717","display_name":"Succinctness","level":2,"score":0.7201855182647705},{"id":"https://openalex.org/C56949724","wikidata":"https://www.wikidata.org/wiki/Q219079","display_name":"Truth table","level":2,"score":0.6923936009407043},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6618430614471436},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.6244181394577026},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5541790127754211},{"id":"https://openalex.org/C46274116","wikidata":"https://www.wikidata.org/wiki/Q185521","display_name":"Truth value","level":2,"score":0.5321041345596313},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.520243763923645},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.5184585452079773},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5101397633552551},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.49244484305381775},{"id":"https://openalex.org/C9429942","wikidata":"https://www.wikidata.org/wiki/Q1781698","display_name":"Product term","level":5,"score":0.4895244836807251},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37994080781936646},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3016771674156189},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2807130217552185},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2758222222328186},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.24819377064704895},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.14615407586097717},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.14449095726013184},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.07880163192749023},{"id":"https://openalex.org/C169171071","wikidata":"https://www.wikidata.org/wiki/Q5449241","display_name":"Filtered algebra","level":3,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","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/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2020/229","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2020/229","pdf_url":"https://www.ijcai.org/proceedings/2020/0229.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2020/229","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2020/229","pdf_url":"https://www.ijcai.org/proceedings/2020/0229.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.6200000047683716,"id":"https://metadata.un.org/sdg/4"}],"awards":[{"id":"https://openalex.org/G7641297997","display_name":null,"funder_award_id":"19-19463S","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"}],"funders":[{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3034487340.pdf","grobid_xml":"https://content.openalex.org/works/W3034487340.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W1488809080","https://openalex.org/W2129781020","https://openalex.org/W2145704678","https://openalex.org/W2442643829","https://openalex.org/W2561407776","https://openalex.org/W2808184379","https://openalex.org/W3099451540"],"related_works":["https://openalex.org/W4233050115","https://openalex.org/W2022239108","https://openalex.org/W2341651163","https://openalex.org/W4205850079","https://openalex.org/W2793499952","https://openalex.org/W3049678769","https://openalex.org/W2554513184","https://openalex.org/W3097852793","https://openalex.org/W3034487340","https://openalex.org/W1586579378"],"abstract_inverted_index":{"In":[0],"this":[1,64,131,193],"paper":[2,65],"we":[3,105,133,162],"focus":[4],"on":[5,15],"a":[6,20,25,36,47,94,98,109,128,136,140],"less":[7],"usual":[8],"way":[9],"to":[10,67,85,123,183],"represent":[11],"Boolean":[12,26,39,54],"functions,":[13],"namely":[14,150],"representations":[16],"by":[17],"switch-lists.":[18],"Given":[19],"truth":[21,43,58],"table":[22,44],"representation":[23,31,113],"of":[24,33,38,63,72,111,130,139,153,186,201],"function":[27,49],"f":[28,34],"the":[29,42,52,57,69,76,151,184,187,199],"switch-list":[30],"(SLR)":[32],"is":[35,66,195,206],"list":[37],"vectors":[40],"from":[41,145],"which":[45,164],"have":[46],"different":[48],"value":[50],"than":[51],"preceding":[53],"vector":[55],"in":[56,75,90,101,171,179],"table.":[59],"The":[60],"main":[61],"aim":[62],"include":[68],"language":[70,100],"SL":[71,88,107],"all":[73],"SLR":[74],"Knowledge":[77],"Compilation":[78],"Map":[79],"[Darwiche":[80,146,172],"and":[81,84,119,147,156,167,173,198,204],"Marquis,":[82,148,174],"2002]":[83,175],"argue,":[86],"that":[87,192],"may":[89],"certain":[91],"situations":[92],"constitute":[93],"reasonable":[95],"choice":[96],"for":[97],"target":[99],"knowledge":[102],"compilation.":[103],"First":[104],"compare":[106],"with":[108,121,181],"number":[110],"standard":[112,165],"languages":[114],"(such":[115],"as":[116],"CNF,":[117],"DNF,":[118],"OBDD)":[120],"respect":[122,182],"their":[124],"relative":[125],"succinctness.":[126],"As":[127],"by-product":[129],"analysis":[132],"also":[134],"give":[135],"short":[137],"proof":[138],"long":[141],"standing":[142],"open":[143],"question":[144],"2002],":[149],"incomparability":[152],"MODS":[154],"(models)":[155],"PI":[157],"(prime":[158],"implicates)":[159],"languages.":[160],"Next":[161],"analyze":[163],"transformations":[166,203],"queries":[168,205],"(those":[169],"considered":[170],"can":[176],"be":[177],"performed":[178],"poly-time":[180,202],"size":[185],"input":[188],"SLR.":[189],"We":[190],"show":[191],"collection":[194],"quite":[196,207],"broad":[197],"combination":[200],"unique.":[208]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}