International Patent
-José T. de Sousa and Miron Abramovici and Daniel SaabA Massively-Parallel Easily-Scalable Satisfiability Solver Using Reconfigurable Hardware Patent Nº 6292916, to appear on 2001, U.S. Patent, [bibTex]