%0 Conference Paper %1 conf/cp/SuyamaYN99 %A Suyama, Takayuki %A Yokoo, Makoto %A Nagoya, Akira %B CP %D 1999 %E Jaffar, Joxan %I Springer %K dblp %P 434-445 %T Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation. %U http://dblp.uni-trier.de/db/conf/cp/cp99.html#SuyamaYN99 %V 1713 %@ 3-540-66626-5

@inproceedings{conf/cp/SuyamaYN99, added-at = {2017-05-17T00:00:00.000+0200}, author = {Suyama, Takayuki and Yokoo, Makoto and Nagoya, Akira}, biburl = {https://www.bibsonomy.org/bibtex/2223354dad2890e9d38442f8f438fb5a7/dblp}, booktitle = {CP}, crossref = {conf/cp/1999}, editor = {Jaffar, Joxan}, ee = {https://doi.org/10.1007/978-3-540-48085-3_31}, interhash = {f8971260457c8082da3f6bc255e64779}, intrahash = {223354dad2890e9d38442f8f438fb5a7}, isbn = {3-540-66626-5}, keywords = {dblp}, pages = {434-445}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:18:35.000+0200}, title = {Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp99.html#SuyamaYN99}, volume = 1713, year = 1999 }