|
@inproceedings{PDM98, author = {Marco Platzner and Giovanni De Micheli,}, title = {Acceleration of Satisfiability Algorithms by Reconfigurable Hardware}, address = {Tallinn, Estonia}, booktitle = {Proceedings of the 8th International Workshop on Field-Programmable Logic and Applications FPL 98}, pages = {69--78}, year = {1998} }