Constructing SAT Filters with a Quantum Annealer.

Adam Douglass, Andrew D. King, Jack Raymond

Browse the full SAT paper archive.