Solving Hard Satisfiability Problems: A Unified Algorithm Based on Discrete Lagrange Multipliers.
Zhe WuBenjamin W. WahPublished in: ICTAI (1999)
Keyphrases
- satisfiability problem
- solving hard
- cost function
- stochastic local search
- dynamic programming
- learning algorithm
- optimal solution
- lagrange multipliers
- np hard
- combinatorial problems
- metaheuristic
- search space
- computational complexity
- objective function
- combinatorial optimization
- neural network
- randomly generated
- constrained optimization
- simulated annealing
- lagrangian method