%0 Conference Paper %1 conf/date/SkliarovaF02 %A Skliarova, Iouliia %A de Brito Ferrari, António %B DATE %D 2002 %I IEEE Computer Society %K dblp %P 1094 %T A SAT Solver Using Software and Reconfigurable Hardware. %U http://dblp.uni-trier.de/db/conf/date/date2002.html#SkliarovaF02 %@ 0-7695-1471-5

@inproceedings{conf/date/SkliarovaF02, added-at = {2023-03-24T00:00:00.000+0100}, author = {Skliarova, Iouliia and de Brito Ferrari, António}, biburl = {https://www.bibsonomy.org/bibtex/26ae997d480aa7b8cfc1501fe41bb1128/dblp}, booktitle = {DATE}, crossref = {conf/date/2002}, ee = {http://dl.acm.org/citation.cfm?id=874465}, interhash = {508ab5d3d8ccb86ad94010f6e6286c3d}, intrahash = {6ae997d480aa7b8cfc1501fe41bb1128}, isbn = {0-7695-1471-5}, keywords = {dblp}, pages = 1094, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:53:36.000+0200}, title = {A SAT Solver Using Software and Reconfigurable Hardware.}, url = {http://dblp.uni-trier.de/db/conf/date/date2002.html#SkliarovaF02}, year = 2002 }