| |
|
Inventor: Saab; Daniel G.
Address: University Heights, OH
No. of patents: 1
Patents:
| Patent Number |
Title Of Patent |
Date Issued |
| 6292916 |
Parallel backtracing for satisfiability on reconfigurable hardware |
September 18, 2001 |
| The invention provides methods and apparatus for implementing a satisfiability algorithm on reconfigurable hardware. An illustrative embodiment is in the form of a parallel-backtrace satisfier which includes clause logic, literal logic and variable logic for implementing logic functi |
|
|
|
