Improved algorithms for the general exact satisfiability problem.

Gordon Hoi Frank Stephan

Published in: Theor. Comput. Sci. (2021)

Keyphrases

satisfiability problem
stochastic local search algorithms
np complete
stochastic local search
exact and approximate
special case
orders of magnitude
computational complexity
temporal logic
computationally hard
scheduling problem
phase transition
sat problem
solving hard