A software

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...

Full description

Bibliographic Details
Published in:IEEE Transactions on VLSI systems 12, 4 (2004).
Main Author: Skliarova, I.
Format: Article
Language:English
Subjects:
Boolean satisfiability problem.
NP-complete problem.
Benchmarks.
Configurable computing.
Conjunctive normal form.
Embedded memory blocks.
Field-programmable gate array.
Partitioning.
Software-reconfigurable hardware solver.