International Patent
-José T. de Sousa and Miron AbramoviciA Virtual Logic Algorithm for Solving Satisfiability Problems using Reconfigurable Hardware Patent Nº 6442732, to appear on 2002, U.S. Patent, [bibTex]