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