A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints.
John ThorntonStuart BainAbdul SattarDuc Nghia PhamPublished in: Australian Joint Conference on Artificial Intelligence (2002)
Keyphrases
- constraint programming
- hard and soft constraints
- combinatorial problems
- max sat
- maximum satisfiability
- weighted max sat
- tabu search
- search algorithm
- stochastic local search
- optimization problems
- np complete
- sat solvers
- satisfiability problem
- randomly generated
- neural network
- heuristic search
- search space
- objective function