%0 Conference Paper %1 conf/dac/AbramoviciSS99 %A Abramovici, Miron %A de Sousa, José T. %A Saab, Daniel G. %B DAC %D 1999 %E Irwin, Mary Jane %I ACM Press %K dblp %P 684-690 %T A Massively-Parallel Easily-Scalable Satisfiability Solver Using Reconfigurable Hardware. %U http://dblp.uni-trier.de/db/conf/dac/dac99.html#AbramoviciSS99

@inproceedings{conf/dac/AbramoviciSS99, added-at = {2017-03-16T00:00:00.000+0100}, author = {Abramovici, Miron and de Sousa, José T. and Saab, Daniel G.}, biburl = {https://www.bibsonomy.org/bibtex/2c93d08fbf424d6f85c2f62d9b3cfcf0c/dblp}, booktitle = {DAC}, crossref = {conf/dac/1999}, editor = {Irwin, Mary Jane}, ee = {http://doi.acm.org/10.1145/309847.310028}, interhash = {2235202ca832ee4646e7636b52ed3999}, intrahash = {c93d08fbf424d6f85c2f62d9b3cfcf0c}, keywords = {dblp}, pages = {684-690}, publisher = {ACM Press}, timestamp = {2017-03-17T11:40:28.000+0100}, title = {A Massively-Parallel Easily-Scalable Satisfiability Solver Using Reconfigurable Hardware.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac99.html#AbramoviciSS99}, year = 1999 }