{"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":null,"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":"conference-paper","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":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4467,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.55706113,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"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":null,"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":[{"score":0.49000000953674316,"id":"https://metadata.un.org/sdg/9","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,73],"aims":[2],"to":[3,78,93,154],"generate":[4],"all":[5,148],"prime":[6,13,72,105,112,149],"implicates/implicants":[7],"of":[8,15,74,133,158,178],"a":[9,52,57,66,84,102,120,126,166],"Boolean":[10],"formula.":[11],"Recently,":[12],"non-clausal":[16,75],"formulae":[17],"has":[18],"received":[19],"great":[20],"attention.":[21],"Since":[22],"it":[23],"is":[24,101,152],"hard":[25],"for$\\Sigma_{2}^{P}$,":[26],"existing":[27],"methods":[28],"have":[29],"performance":[30,37],"issues.":[31],"We":[32],"argue":[33],"that":[34,140],"the":[35,42,62,79,96,130,134,176],"main":[36],"bottleneck":[38],"stems":[39],"from":[40,169],"enlarging":[41],"search":[43],"space":[44],"using":[45,88],"dual":[46],"rail":[47],"(DR)":[48],"encoding,":[49],"and":[50,181],"computing":[51],"minimal":[53,127],"clausal":[54,85,122],"formula":[55,86,123],"as":[56],"by-product.":[58],"To":[59],"deal":[60],"with":[61,114],"issue,":[63],"we":[64,82,138,162],"propose":[65],"two-phase":[67,80],"approach,":[68],"namely":[69],"CoAPI,":[70],"for":[71,146],"formulae.":[76],"Thanks":[77],"framework,":[81],"construct":[83],"without":[87],"DR":[89],"encoding.":[90],"In":[91],"addition,":[92],"improve":[94],"performance,":[95],"key":[97],"in":[98],"our":[99],"work":[100],"novel":[103],"bounded":[104],"extraction":[106],"(BPE)":[107],"method":[108],"that,":[109],"interleaving":[110],"extracting":[111,115],"implicates":[113],"small":[116],"implicates,":[117,150],"enables":[118],"constructing":[119],"succinct":[121],"rather":[124],"than":[125],"one.":[128],"Following":[129],"assessment":[131],"way":[132],"state-of-the-art":[135],"(SOTA)":[136],"work,":[137],"show":[139],"CoAPI":[141,151,164],"achieves":[142],"SOTA":[143],"performance.":[144],"Particularly,":[145],"generating":[147],"up":[153],"about":[155],"one":[156],"order":[157],"magnitude":[159],"faster.":[160],"Moreover,":[161],"evaluate":[163],"on":[165],"benchmark":[167],"sourcing":[168],"real-world":[170],"industries.":[171],"The":[172],"results":[173],"also":[174],"confirm":[175],"outperformance":[177],"CoAPI11Our":[179],"code":[180],"benchmarks":[182],"are":[183],"publicly":[184],"available":[185],"at":[186],"https://github.com/LuoWeiLinWillam/CoAPI.":[187]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}