乐胖代购免代理版

{"id":"https://openalex.org/W2134717767","doi":"https://doi.org/10.1145/1837274.1837398","title":"BooM","display_name":"BooM","publication_year":2010,"publication_date":"2010-06-13","ids":{"openalex":"https://openalex.org/W2134717767","doi":"https://doi.org/10.1145/1837274.1837398","mag":"2134717767"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1837274.1837398","pdf_url":null,"source":{"id":"https://openalex.org/S4363608921","display_name":"Proceedings of the 34th Design Automation Conference","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":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5036969767","display_name":"Chih-Fan Lai","orcid":null},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Chih-Fan Lai","raw_affiliation_strings":["GIEE National Taiwan University Taipei 10617, Taiwan"],"affiliations":[{"raw_affiliation_string":"GIEE National Taiwan University Taipei 10617, Taiwan","institution_ids":["https://openalex.org/I16733864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078604015","display_name":"Jie-Hong R. Jiang","orcid":"https://orcid.org/0000-0002-2279-4732"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Jie-Hong R. Jiang","raw_affiliation_strings":["EE Dept./GIEE, National Taiwan University, Taipei 10617, Taiwan"],"affiliations":[{"raw_affiliation_string":"EE Dept./GIEE, National Taiwan University, Taipei 10617, Taiwan","institution_ids":["https://openalex.org/I16733864"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013023016","display_name":"Kuo\u2010Hua Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I114150738","display_name":"Fu Jen Catholic University","ror":"https://ror.org/04je98850","country_code":"TW","type":"education","lineage":["https://openalex.org/I114150738"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Kuo-Hua Wang","raw_affiliation_strings":["CSIE Dept. Fu Jen Catholic University Hsinchuang 24205, Taiwan"],"affiliations":[{"raw_affiliation_string":"CSIE Dept. Fu Jen Catholic University Hsinchuang 24205, Taiwan","institution_ids":["https://openalex.org/I114150738"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.181,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.925557,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":89},"biblio":{"volume":null,"issue":null,"first_page":"499","last_page":"504"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9979,"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/product-term","display_name":"Product term","score":0.51783234},{"id":"https://openalex.org/keywords/pruning","display_name":"Pruning","score":0.44836682},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.43963647},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.43077117}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6302592},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.627908},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.60731566},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.5815517},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.5733213},{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.56044036},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.52847046},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.5271021},{"id":"https://openalex.org/C9429942","wikidata":"https://www.wikidata.org/wiki/Q1781698","display_name":"Product term","level":5,"score":0.51783234},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.44836682},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.43963647},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.43077117},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4244579},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3185359},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30202407},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.1738365},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.1407536},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.12979805},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.089227974},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1837274.1837398","pdf_url":null,"source":{"id":"https://openalex.org/S4363608921","display_name":"Proceedings of the 34th Design Automation Conference","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":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41,"display_name":"Peace, justice, and strong institutions","id":"https://metadata.un.org/sdg/16"}],"grants":[{"funder":"https://openalex.org/F4320321040","funder_display_name":"National Science Council","award_id":"96-2221-E-002-278-MY398-2221-E-030-016"}],"datasets":[],"versions":[],"referenced_works_count":18,"referenced_works":["https://openalex.org/W100574688","https://openalex.org/W1518705996","https://openalex.org/W1997240046","https://openalex.org/W2029174117","https://openalex.org/W2035444316","https://openalex.org/W2039485990","https://openalex.org/W2044560939","https://openalex.org/W2050848446","https://openalex.org/W2105301752","https://openalex.org/W2109417555","https://openalex.org/W2115967254","https://openalex.org/W2116599147","https://openalex.org/W2124007265","https://openalex.org/W2133527541","https://openalex.org/W2140053302","https://openalex.org/W2142785340","https://openalex.org/W2163027960","https://openalex.org/W4247599319"],"related_works":["https://openalex.org/W4248224315","https://openalex.org/W3141532631","https://openalex.org/W3029381898","https://openalex.org/W2728195892","https://openalex.org/W2187008505","https://openalex.org/W2169792446","https://openalex.org/W2150974517","https://openalex.org/W2131164334","https://openalex.org/W2063425181","https://openalex.org/W2060171268"],"abstract_inverted_index":{"Boolean":[0,7,62,78],"matching":[1,50,63,79,89],"determines":[2],"whether":[3],"two":[4],"given":[5],"(in)completely-specified":[6],"functions":[8],"can":[9],"be":[10],"identical":[11],"or":[12],"complementary":[13],"to":[14,26,47,83],"each":[15],"other":[16],"under":[17],"permutation":[18],"and/or":[19,45],"negation":[20],"of":[21,61,77,87],"their":[22],"input":[23],"variables.":[24],"Due":[25],"its":[27],"broad":[28],"applications":[29],"in":[30,95],"logic":[31],"synthesis":[32],"and":[33,64,73],"verification,":[34],"it":[35],"attracted":[36],"much":[37],"attention.":[38],"Most":[39],"prior":[40],"efforts":[41],"however":[42],"were":[43],"incomplete":[44],"restricted":[46],"certain":[48],"special":[49],"conditions.":[51],"In":[52],"contrast,":[53],"this":[54],"paper":[55],"focuses":[56],"on":[57],"the":[58,75,84],"computation":[59],"kernel":[60],"proposes":[65],"a":[66],"complete":[67],"generic":[68],"framework.":[69],"Through":[70],"conflict-driven":[71],"learning":[72],"abstraction,":[74],"capacity":[76],"scales":[80],"up":[81],"due":[82],"effective":[85],"pruning":[86],"infeasible":[88],"solutions.":[90],"Experiments":[91],"show":[92],"encouraging":[93],"results":[94],"resolving":[96],"hard":[97],"instances":[98],"that":[99],"are":[100],"otherwise":[101],"unsolvable.":[102]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2134717767","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3}],"updated_date":"2024-12-07T17:20:30.750365","created_date":"2016-06-24"}