{"id":"https://openalex.org/W4200406741","doi":"https://doi.org/10.1109/iccad51958.2021.9643520","title":"An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae","display_name":"An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae","publication_year":2021,"publication_date":"2021-11-01","ids":{"openalex":"https://openalex.org/W4200406741","doi":"https://doi.org/10.1109/iccad51958.2021.9643520"},"language":"en","primary_location":{"id":"doi:10.1109/iccad51958.2021.9643520","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad51958.2021.9643520","pdf_url":null,"source":{"id":"https://openalex.org/S4363608354","display_name":"2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","raw_type":"proceedings-article"},"type":"article","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/A5051273658","display_name":"Weilin Luo","orcid":"https://orcid.org/0000-0002-3733-9361"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weilin Luo","raw_affiliation_strings":["School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047670580","display_name":"Hai Want","orcid":null},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hai Want","raw_affiliation_strings":["School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080530031","display_name":"Hongzhen Zhong","orcid":"https://orcid.org/0009-0002-2409-7778"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongzhen Zhong","raw_affiliation_strings":["School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101977871","display_name":"Ou Wei","orcid":null},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ou Wei","raw_affiliation_strings":["University of Toronto, Toronto, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070868762","display_name":"Biqing Fang","orcid":"https://orcid.org/0000-0002-2344-7599"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Biqing Fang","raw_affiliation_strings":["School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085065398","display_name":"Xiaotong Song","orcid":null},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaotong Song","raw_affiliation_strings":["School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6277,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.58878505,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9948999881744385,"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/T11424","display_name":"Security and Verification in Computing","score":0.9876000285148621,"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/implicant","display_name":"Implicant","score":0.8578463792800903},{"id":"https://openalex.org/keywords/prime","display_name":"Prime (order theory)","score":0.744635283946991},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.628872275352478},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5288176536560059},{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.4939940571784973},{"id":"https://openalex.org/keywords/bottleneck","display_name":"Bottleneck","score":0.41659799218177795},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4005911350250244},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3595477342605591},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.2880847752094269},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23973381519317627},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.18334177136421204},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.15325093269348145}],"concepts":[{"id":"https://openalex.org/C102487863","wikidata":"https://www.wikidata.org/wiki/Q1291626","display_name":"Implicant","level":4,"score":0.8578463792800903},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.744635283946991},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.628872275352478},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5288176536560059},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.4939940571784973},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.41659799218177795},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4005911350250244},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3595477342605591},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.2880847752094269},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23973381519317627},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.18334177136421204},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.15325093269348145},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccad51958.2021.9643520","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad51958.2021.9643520","pdf_url":null,"source":{"id":"https://openalex.org/S4363608354","display_name":"2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.49000000953674316,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G5739924965","display_name":null,"funder_award_id":"61976232","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W53280043","https://openalex.org/W67255151","https://openalex.org/W128763912","https://openalex.org/W149544036","https://openalex.org/W186100420","https://openalex.org/W1526521033","https://openalex.org/W1592878310","https://openalex.org/W1605748995","https://openalex.org/W2012022843","https://openalex.org/W2032890961","https://openalex.org/W2046239089","https://openalex.org/W2047315525","https://openalex.org/W2056350605","https://openalex.org/W2058793155","https://openalex.org/W2068422506","https://openalex.org/W2110210775","https://openalex.org/W2112192984","https://openalex.org/W2118622620","https://openalex.org/W2121337044","https://openalex.org/W2133527541","https://openalex.org/W2151398141","https://openalex.org/W2167258402","https://openalex.org/W2184595489","https://openalex.org/W2287661067","https://openalex.org/W2296202685","https://openalex.org/W2768670610","https://openalex.org/W2900271492","https://openalex.org/W2954836904","https://openalex.org/W3123509436","https://openalex.org/W3145267187","https://openalex.org/W3149078839","https://openalex.org/W4231091214","https://openalex.org/W4231924340","https://openalex.org/W4232532984","https://openalex.org/W4251694050","https://openalex.org/W6602142393","https://openalex.org/W6605289955","https://openalex.org/W6607591000","https://openalex.org/W6632501209","https://openalex.org/W6697459422"],"related_works":["https://openalex.org/W2042113034","https://openalex.org/W2018344087","https://openalex.org/W1655266410","https://openalex.org/W2610453782","https://openalex.org/W2595172197","https://openalex.org/W2007962488","https://openalex.org/W2046603834","https://openalex.org/W2097412459","https://openalex.org/W193514054","https://openalex.org/W3028028386"],"abstract_inverted_index":{"Prime":[0],"compilation":[1,14,77],"aims":[2],"to":[3,82,97,158],"generate":[4],"all":[5,152],"prime":[6,13,76,109,116,153],"implicates/implicants":[7],"of":[8,15,78,137,162,182],"a":[9,56,61,70,88,106,124,130,170],"Boolean":[10],"formula.":[11],"Recently,":[12],"non-clausal":[16,79],"formulae":[17],"has":[18],"received":[19],"great":[20],"attention.":[21],"Since":[22],"it":[23],"is":[24,105,156],"hard":[25],"for":[26,75,150],"<tex":[27],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[28,185,188],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$\\Sigma_{2}^{P}$</tex>":[29],",":[30],"existing":[31],"methods":[32],"have":[33],"performance":[34,41],"issues.":[35],"We":[36],"argue":[37],"that":[38,144],"the":[39,46,66,83,100,134,138,180],"main":[40],"bottleneck":[42],"stems":[43],"from":[44,173],"enlarging":[45],"search":[47],"space":[48],"using":[49,92],"dual":[50],"rail":[51],"(DR)":[52],"encoding,":[53],"and":[54,192],"computing":[55],"minimal":[57,131],"clausal":[58,89,126],"formula":[59,90,127],"as":[60],"by-product.":[62],"To":[63],"deal":[64],"with":[65,118],"issue,":[67],"we":[68,86,142,166],"propose":[69],"two-phase":[71,84],"approach,":[72],"namely":[73],"CoAPI,":[74],"formulae.":[80],"Thanks":[81],"framework,":[85],"construct":[87],"without":[91],"DR":[93],"encoding.":[94],"In":[95],"addition,":[96],"improve":[98],"performance,":[99],"key":[101],"in":[102],"our":[103],"work":[104],"novel":[107],"bounded":[108],"extraction":[110],"(BPE)":[111],"method":[112],"that,":[113],"interleaving":[114],"extracting":[115,119],"implicates":[117],"small":[120],"implicates,":[121,154],"enables":[122],"constructing":[123],"succinct":[125],"rather":[128],"than":[129],"one.":[132],"Following":[133],"assessment":[135],"way":[136],"state-of-the-art":[139],"(SOTA)":[140],"work,":[141],"show":[143],"CoAPI":[145,155,168,183],"achieves":[146],"SOTA":[147],"performance.":[148],"Particularly,":[149],"generating":[151],"up":[157],"about":[159],"one":[160],"order":[161],"magnitude":[163],"faster.":[164],"Moreover,":[165],"evaluate":[167],"on":[169],"benchmark":[171],"sourcing":[172],"real-world":[174],"industries.":[175],"The":[176],"results":[177],"also":[178],"confirm":[179],"outperformance":[181],"<sup":[184,187],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">1</sup>":[186,189],"Our":[190],"code":[191],"benchmarks":[193],"are":[194],"publicly":[195],"available":[196],"at":[197],"https://github.com/LuoWeiLinWillam/CoAPI.":[198]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}