Login / Signup
An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems.
Zhe Wu
Benjamin W. Wah
Published in:
AAAI/IAAI (2000)
Keyphrases
</>
satisfiability problem
search strategy
solving hard
stochastic local search
search algorithm
np complete
search space
search strategies
knowledge representation
ant colony optimization
combinatorial problems
search problems
effective pruning