A linear time algorithm for quantum 2-SAT.

Niel de Beaudrap Sevag Gharibian

Published in: CoRR (2015)

Keyphrases

satisfiability problem
sat solvers
quantum computing
quantum computation
sat solving
sat problem
propositional satisfiability

stochastic local search algorithms
boolean satisfiability
quantum mechanics
stochastic local search
search algorithm
probability ranking principle
sat instances

phase transition
channel capacity
pseudo boolean constraints
modulo theories
logic circuits
search strategy
quantum evolutionary algorithm

max sat
search strategies
quantum inspired
upper bound
scheduling problem
knowledge base