Improved Algorithms for the General Exact Satisfiability Problem.

Gordon Hoi Frank Stephan

Published in: CoRR (2021)

Keyphrases

satisfiability problem
np complete
special case
stochastic local search algorithms
temporal logic
stochastic local search
graph coloring problems
optimization problems
query language
knowledge representation
exact and approximate
computationally hard
solving hard