Assessment of Quantum Annealing for the Construction of Satisfiability Filters - Marlon Azinović; Daniel Herr; Ethan Brown; Matthias Troyer (2016)