Login / Signup

Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems.

Stefan PorschenBert RanderathEwald Speckenmeyer
Published in: SAT (2003)
Keyphrases
  • satisfiability problem
  • stochastic local search
  • optimization problems
  • learning algorithm
  • np complete
  • stochastic local search algorithms
  • worst case
  • orders of magnitude
  • combinatorial problems