A software
This paper introduces a novel approach for solving the Boolean satisfiability (SAT) problem by combining software and configurable hardware. The suggested technique avoids instance-specific hardware compilation and, as a result, allows the total problem solving time to be reduced compared to other a...
| הוצא לאור ב: | IEEE Transactions on VLSI systems 12, 4 (2004). |
|---|---|
| מחבר ראשי: | |
| פורמט: | Article |
| שפה: | אנגלית |
| נושאים: |