Login / Signup

An Improved Exact Algorithm for the Exact Satisfiability Problem.

Gordon Hoi
Published in: COCOA (2020)
Keyphrases
  • satisfiability problem
  • np hard
  • dynamic programming
  • computational complexity
  • search space
  • search strategy
  • stochastic local search algorithms
  • temporal logic