A SAT Solver Using Reconfigurable Hardware and Virtual Logic.

Miron Abramovici José T. de Sousa

Published 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