Solving Linear Pseudo-Boolean Constraint Problems with Local Search.
Joachim P. WalserPublished in: AAAI/IAAI (1997)
Keyphrases
- constraint problems
- pseudo boolean
- constraint programming
- propositional satisfiability
- combinatorial problems
- constraint satisfaction problems
- constraint satisfaction
- randomly generated
- symmetry breaking
- soft constraints
- optimisation problems
- boolean optimization
- integer linear programming
- search space
- exact solution
- combinatorial optimization
- constraint propagation
- graph coloring
- sat solvers
- search strategies
- column generation
- search algorithm
- global constraints
- stochastic local search
- sat instances
- automated reasoning
- genetic algorithm
- optimal solution
- search procedures
- max sat
- evolutionary computation
- simulated annealing
- computational complexity