Constructing SAT Filters with a Quantum Annealer.

Adam Douglass Andrew D. King Jack Raymond

Published in: SAT (2015)

Keyphrases

satisfiability problem
search algorithm
sat solvers
quantum computation
quantum inspired
sat solving
edge enhancement
adaptive filtering
filter design
max sat
sat problem
bandpass
propositional satisfiability
quantum computing
phase transition
stochastic local search algorithms
information retrieval