Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}