%0 Conference Paper %1 conf/iccad/ThongN15 %A Thong, Jason %A Nicolici, Nicola %B ICCAD %D 2015 %E Marculescu, Diana %E Liu, Frank %I IEEE %K dblp %P 232-239 %T SAT Solving using FPGA-based Heterogeneous Computing. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2015.html#ThongN15 %@ 978-1-4673-8389-9

@inproceedings{conf/iccad/ThongN15, added-at = {2017-05-24T00:00:00.000+0200}, author = {Thong, Jason and Nicolici, Nicola}, biburl = {https://www.bibsonomy.org/bibtex/2e0cd5a0dbf44755df59e2f1a8ef29608/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/2015}, editor = {Marculescu, Diana and Liu, Frank}, ee = {http://dl.acm.org/citation.cfm?id=2840853}, interhash = {c59a13972690c4d24a40eece8af48ed4}, intrahash = {e0cd5a0dbf44755df59e2f1a8ef29608}, isbn = {978-1-4673-8389-9}, keywords = {dblp}, pages = {232-239}, publisher = {IEEE}, timestamp = {2024-04-09T19:27:26.000+0200}, title = {SAT Solving using FPGA-based Heterogeneous Computing.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2015.html#ThongN15}, year = 2015 }