%0 Conference Paper %1 conf/aspdac/ParkNG21 %A Park, Soowang %A Nam, Jae-Won %A Gupta, Sandeep K. %B ASP-DAC %D 2021 %I ACM %K dblp %P 29-34 %T HW-BCP: A Custom Hardware Accelerator for SAT Suitable for Single Chip Implementation for Large Benchmarks. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2021.html#ParkNG21 %@ 978-1-4503-7999-1

@inproceedings{conf/aspdac/ParkNG21, added-at = {2023-09-21T00:00:00.000+0200}, author = {Park, Soowang and Nam, Jae-Won and Gupta, Sandeep K.}, biburl = {https://www.bibsonomy.org/bibtex/2b609df27d4f55b01c9cadb1ecbd6aa1f/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2021}, ee = {https://doi.org/10.1145/3394885.3431413}, interhash = {fc77a508ed75518030ffec5f317a76f0}, intrahash = {b609df27d4f55b01c9cadb1ecbd6aa1f}, isbn = {978-1-4503-7999-1}, keywords = {dblp}, pages = {29-34}, publisher = {ACM}, timestamp = {2024-04-09T13:33:01.000+0200}, title = {HW-BCP: A Custom Hardware Accelerator for SAT Suitable for Single Chip Implementation for Large Benchmarks.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2021.html#ParkNG21}, year = 2021 }