A Configurable Hardware/Software Approach to SAT Solving.

José T. de Sousa João P. Marques Silva Miron Abramovici

Published in: FCCM (2001)

Keyphrases

hardware software
sat solving
hardware and software
sat solvers
embedded systems
hw sw
design methodology
boolean satisfiability
multi core processors
high performance computing
hardware design
sat problem
low cost
symmetry breaking
neural network
search tree
orders of magnitude
general purpose