The Quantum Alternating Operator Ansatz for Satisfiability Problems.

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

Published in: CoRR (2023)

Keyphrases

satisfiability problem
np complete
temporal logic
search algorithm
sat problem
phase transition
stochastic local search algorithms
stochastic local search
sat instances
pspace complete
solving hard
davis putnam
mazurkiewicz traces
search procedures
random sat