Assessing Solution Quality of 3SAT on a Quantum Annealing Platform

Thomas Gabor, Sebastian Zielinski, Sebastian Feld +6

When solving propositional logic satisfiability (specifically 3SAT) using quantum annealing, we analyze the effect the difficulty of different instances of the problem has on the q…