SciPost logo

The complete scientific publication portal
Managed by professional scientists
For open, global and perpetual access to science

Assessment of Quantum Annealing for the Construction of Satisfiability Filters

Marlon Azinović, Daniel Herr, Bettina Heim, Ethan Brown, Matthias Troyer

SciPost Phys. 2, 013 (2017) · published 7 April 2017

Abstract

Satisfiability filters, introduced by S. A. Weaver et al. in 2014, are a new and promising type of filters to address set membership testing. In order to construct satisfiability filters, it is necessary to find disparate solutions to hard random $k$-SAT problems. This paper compares simulated annealing, simulated quantum annealing and walkSAT, an open-source SAT solver, in terms of their ability to find such solutions. The results indicate that solutions found by simulated quantum annealing are generally less disparate than solutions found by the other solvers and therefore less useful for the construction of satisfiability filters.


View more material from these authors:

Herr, Daniel  ·  Troyer, Matthias  ·  Azinović, Marlon  ·  Heim, Bettina  ·  Brown, Ethan