%0 Conference Paper %1 conf/fpl/AbramoviciS97 %A Abramovici, Miron %A Saab, Daniel G. %B FPL %D 1997 %E Luk, Wayne %E Cheung, Peter Y. K. %E Glesner, Manfred %I Springer %K dblp %P 448-456 %T Satisfiability on reconfigurable hardware. %U http://dblp.uni-trier.de/db/conf/fpl/fpl1997.html#AbramoviciS97 %V 1304 %@ 3-540-63465-7

@inproceedings{conf/fpl/AbramoviciS97, added-at = {2017-05-21T00:00:00.000+0200}, author = {Abramovici, Miron and Saab, Daniel G.}, biburl = {https://www.bibsonomy.org/bibtex/2664a3bf0e456b7f2449eeb2756f33e1f/dblp}, booktitle = {FPL}, crossref = {conf/fpl/1997}, editor = {Luk, Wayne and Cheung, Peter Y. K. and Glesner, Manfred}, ee = {https://doi.org/10.1007/3-540-63465-7_250}, interhash = {99dfe1e9d39ea764f1a6c327e2d0f597}, intrahash = {664a3bf0e456b7f2449eeb2756f33e1f}, isbn = {3-540-63465-7}, keywords = {dblp}, pages = {448-456}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:15:13.000+0200}, title = {Satisfiability on reconfigurable hardware.}, url = {http://dblp.uni-trier.de/db/conf/fpl/fpl1997.html#AbramoviciS97}, volume = 1304, year = 1997 }