Marco Platzner Giovanni De Micheli Acceleration of Satisfiability Algorithms by Reconfigurable Hardware. 69-78 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1482&spage=0069 1998 conf/fpl/1998 FPL db/conf/fpl/fpl1998.html#PlatznerM98