Valery Sklyarov Iouliia Skliarova Bruno Figueiredo Pimentel Joel Arrais Hardware/Software Implementation of FPGA-Targeted Matrix-Oriented SAT Solvers. 922-926 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3203&spage=922 2004 conf/fpl/2004 FPL db/conf/fpl/fpl2004.html#SklyarovSPA04