A SAT Solver Using Reconfigurable Hardware and Virtual Logic.
Miron AbramoviciJosé T. de SousaPublished in: J. Autom. Reason. (2000)
Keyphrases
- sat solvers
- reconfigurable hardware
- orders of magnitude
- sat solving
- constraint satisfaction
- low cost
- boolean satisfiability
- sat instances
- sat problem
- propositional theories
- search space
- hardware software
- highly efficient
- search strategies
- evolvable hardware
- hardware implementation
- computational properties
- logic programming
- digital circuits
- fine grain
- boolean formula
- field programmable gate array
- genetic algorithm
- search algorithm