A fast SAT solver algorithm best suited to reconfigurable hardware

Zuim, Romanelli ; de Sousa, José T. ; Coelho, Claudionor N.

Proceedings of the 19th annual symposium on Integrated circuits and systems design, 2006, p.131-136

New York, NY, USA: ACM

Texto completo disponível