Acceleration of Satisfiability Algorithms by Reconfigurable Hardware (1998)

by Marco Platzner, Giovanni De Micheli
Venue:Proceedings of the 8th International Workshop on Field Programmable Logic and Applications (FPL98