Applying Logic Synthesis for Speeding Up SAT.

Niklas Eén Alan Mishchenko Niklas Sörensson

Published in: SAT (2007)

Keyphrases

logic synthesis
multi valued
sat solvers
real time
databases
satisfiability problem
quantum computing
database
image processing
search algorithm
low cost
heuristic search