Constructing SAT Filters with a Quantum Annealer. - Adam Douglass; Andrew D. King; Jack Raymond (SAT, 2015)