%0 Journal Article %1 journals/jar/AbramoviciS00 %A Abramovici, Miron %A de Sousa, José T. %D 2000 %J J. Autom. Reason. %K dblp %N 1/2 %P 5-36 %T A SAT Solver Using Reconfigurable Hardware and Virtual Logic. %U http://dblp.uni-trier.de/db/journals/jar/jar24.html#AbramoviciS00 %V 24

@article{journals/jar/AbramoviciS00, added-at = {2022-04-09T00:00:00.000+0200}, author = {Abramovici, Miron and de Sousa, José T.}, biburl = {https://www.bibsonomy.org/bibtex/25bc9d6946369810faca8e904a5a0b469/dblp}, ee = {https://doi.org/10.1023/A:1006310219368}, interhash = {08fce7f7d20b654c6bb286e5101dbc61}, intrahash = {5bc9d6946369810faca8e904a5a0b469}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = {1/2}, pages = {5-36}, timestamp = {2024-04-09T05:03:12.000+0200}, title = {A SAT Solver Using Reconfigurable Hardware and Virtual Logic.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar24.html#AbramoviciS00}, volume = 24, year = 2000 }