%0 Conference Paper %1 conf/icfpt/NguyenAH19 %A Nguyen, Anh Hoang Ngoc %A Aono, Masashi %A Hara-Azumi, Yuko %B FPT %D 2019 %I IEEE %K dblp %P 243-246 %T Amoeba-Inspired Hardware SAT Solver with Effective Feedback Control. %U http://dblp.uni-trier.de/db/conf/icfpt/icfpt2019.html#NguyenAH19 %@ 978-1-7281-2943-3

@inproceedings{conf/icfpt/NguyenAH19, added-at = {2020-02-17T00:00:00.000+0100}, author = {Nguyen, Anh Hoang Ngoc and Aono, Masashi and Hara-Azumi, Yuko}, biburl = {https://www.bibsonomy.org/bibtex/24c728585434d34b925932e76eb9c48ff/dblp}, booktitle = {FPT}, crossref = {conf/icfpt/2019}, ee = {https://doi.org/10.1109/ICFPT47387.2019.00038}, interhash = {f52daa3b6e66e4f43c3bb42a51d8f0e9}, intrahash = {4c728585434d34b925932e76eb9c48ff}, isbn = {978-1-7281-2943-3}, keywords = {dblp}, pages = {243-246}, publisher = {IEEE}, timestamp = {2020-02-18T11:48:21.000+0100}, title = {Amoeba-Inspired Hardware SAT Solver with Effective Feedback Control.}, url = {http://dblp.uni-trier.de/db/conf/icfpt/icfpt2019.html#NguyenAH19}, year = 2019 }