Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/qrs/HeYZLW18
%A He, Anping
%A Yu, Lvying
%A Zhang, Haitao
%A Li, Lian
%A Wu, Jinzhao
%B QRS Companion
%D 2018
%I IEEE
%K dblp
%P 221-228
%T A FPGA Based SAT Solver with High Random and Concurrent Strategies.
%U http://dblp.uni-trier.de/db/conf/qrs/qrs2018c.html#HeYZLW18
%@ 978-1-5386-7839-8
@inproceedings{conf/qrs/HeYZLW18,
added-at = {2018-08-16T00:00:00.000+0200},
author = {He, Anping and Yu, Lvying and Zhang, Haitao and Li, Lian and Wu, Jinzhao},
biburl = {https://www.bibsonomy.org/bibtex/2dab21aab13e4086c8bda48c8df25b828/dblp},
booktitle = {QRS Companion},
crossref = {conf/qrs/2018c},
ee = {https://doi.org/10.1109/QRS-C.2018.00049},
interhash = {416b9d9d94d7f7e46939de39284a7b20},
intrahash = {dab21aab13e4086c8bda48c8df25b828},
isbn = {978-1-5386-7839-8},
keywords = {dblp},
pages = {221-228},
publisher = {IEEE},
timestamp = {2019-10-17T16:35:26.000+0200},
title = {A FPGA Based SAT Solver with High Random and Concurrent Strategies.},
url = {http://dblp.uni-trier.de/db/conf/qrs/qrs2018c.html#HeYZLW18},
year = 2018
}