%0 Conference Paper %1 conf/fpl/SklyarovSPA04 %A Sklyarov, Valery %A Skliarova, Iouliia %A Pimentel, Bruno Figueiredo %A Arrais, Joel %B FPL %D 2004 %E Becker, Jürgen %E Platzner, Marco %E Vernalde, Serge %I Springer %K dblp %P 922-926 %T Hardware/Software Implementation of FPGA-Targeted Matrix-Oriented SAT Solvers. %U http://dblp.uni-trier.de/db/conf/fpl/fpl2004.html#SklyarovSPA04 %V 3203 %@ 3-540-22989-2

@inproceedings{conf/fpl/SklyarovSPA04, added-at = {2018-11-14T00:00:00.000+0100}, author = {Sklyarov, Valery and Skliarova, Iouliia and Pimentel, Bruno Figueiredo and Arrais, Joel}, biburl = {https://www.bibsonomy.org/bibtex/2e72de48dce1cdb4f36d34225aaae64a7/dblp}, booktitle = {FPL}, crossref = {conf/fpl/2004}, editor = {Becker, Jürgen and Platzner, Marco and Vernalde, Serge}, ee = {https://www.wikidata.org/entity/Q56795183}, interhash = {ee831495492f02b505a4b70301f5f752}, intrahash = {e72de48dce1cdb4f36d34225aaae64a7}, isbn = {3-540-22989-2}, keywords = {dblp}, pages = {922-926}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-07-20T11:39:57.000+0200}, title = {Hardware/Software Implementation of FPGA-Targeted Matrix-Oriented SAT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/fpl/fpl2004.html#SklyarovSPA04}, volume = 3203, year = 2004 }