Login / Signup

A Dual Algorithm for the Satisfiability Problem.

Yoshihiro Tanaka
Published in: Inf. Process. Lett. (1991)
Keyphrases
  • satisfiability problem
  • np hard
  • np complete
  • computational complexity
  • search space
  • stochastic local search algorithms
  • optimal solution
  • search algorithm
  • search strategy
  • randomly generated
  • linear programming