{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T02:49:47Z","timestamp":1781837387322,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,1,18]],"date-time":"2021-01-18T00:00:00Z","timestamp":1610928000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1719047"],"award-info":[{"award-number":["1719047"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,1,18]]},"DOI":"10.1145\/3394885.3431413","type":"proceedings-article","created":{"date-parts":[[2021,1,29]],"date-time":"2021-01-29T11:32:48Z","timestamp":1611919968000},"page":"29-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["HW-BCP"],"prefix":"10.1145","author":[{"given":"Soowang","family":"Park","sequence":"first","affiliation":[{"name":"Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jae-Won","family":"Nam","sequence":"additional","affiliation":[{"name":"Seoul National University of Science and Technology, Seoul, South Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sandeep K.","family":"Gupta","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,1,29]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"502","article-title":"An Extensible SAT-solver","author":"E\u00e9n N.","year":"2003","journal-title":"Int'l Conference on Theory and Applications of Satisfiability Testing"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"e_1_3_2_1_3_1","first-page":"290","volume-title":"Aug. 1993","author":"Selman B."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.769433"},{"key":"e_1_3_2_1_5_1","first-page":"234","volume-title":"Nov 2013","author":"Thong J."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cdt:20060221"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1497561.1497576"},{"key":"e_1_3_2_1_8_1","first-page":"780","volume-title":"Jun. 2008","author":"Davis J. D."},{"key":"e_1_3_2_1_9_1","first-page":"1","volume-title":"Automation Test in Europe","author":"Safar M.","year":"2011"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2017.2754192"},{"key":"e_1_3_2_1_11_1","first-page":"530","volume-title":"Chaff: Engineering an Efficient SAT Solver,\" in ACM\/IEEE Design Automation Conference (DAC)","author":"Moskewicz M. W.","year":"2001"},{"key":"e_1_3_2_1_12_1","volume-title":"MiniSat 2.1 and MiniSat++ 1.0 - SAT Race 2008 Editions,\" The SAT race 2008: Solver descriptions","author":"S\u00f6rensson N.","year":"2008"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2005.864128"},{"key":"e_1_3_2_1_14_1","unstructured":"ITRS \"ITRS Report 2008 \" in http:\/\/www.itrs2.net\/itrs-reports.html 2008.  ITRS \"ITRS Report 2008 \" in http:\/\/www.itrs2.net\/itrs-reports.html 2008."},{"key":"e_1_3_2_1_15_1","first-page":"206","volume-title":"Feb. 2017","author":"Chang J."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.920580"},{"key":"e_1_3_2_1_17_1","volume-title":"IEEE Hot Chips Symp.","author":"Ahmad S.","year":"2019"}],"event":{"name":"ASPDAC '21: 26th Asia and South Pacific Design Automation Conference","location":"Tokyo Japan","acronym":"ASPDAC '21","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"]},"container-title":["Proceedings of the 26th Asia and South Pacific Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3394885.3431413","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3394885.3431413","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3394885.3431413","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:32:01Z","timestamp":1750195921000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3394885.3431413"}},"subtitle":["A Custom Hardware Accelerator for SAT Suitable for Single Chip Implementation for Large Benchmarks"],"short-title":[],"issued":{"date-parts":[[2021,1,18]]},"references-count":17,"alternative-id":["10.1145\/3394885.3431413","10.1145\/3394885"],"URL":"https:\/\/doi.org\/10.1145\/3394885.3431413","relation":{},"subject":[],"published":{"date-parts":[[2021,1,18]]},"assertion":[{"value":"2021-01-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}