The Quantum Alternating Operator Ansatz for Satisfiability Problems.

John K. Golden Andreas Bärtschi Daniel O'Malley Stephan J. Eidenbenz

Published in: QCE (2023)

Keyphrases

satisfiability problem
np complete
temporal logic
phase transition
search algorithm
sat problem
stochastic local search algorithms
max sat
solving hard
stochastic local search
pspace complete
finite domain
conjunctive normal form
sat instances
davis putnam
modal logic
random sat
mazurkiewicz traces