Login / Signup
Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems.
Zhe Wu
Benjamin W. Wah
Published in:
AAAI/IAAI (1999)
Keyphrases
</>
satisfiability problem
solving hard
stochastic local search
np complete
search algorithm
sat problem
propositional logic
search procedures
dynamic programming
combinatorial problems
davis putnam