Postponing Optimization to Speed Up MAXSAT Solving.
Jessica DaviesFahiem BacchusPublished in: CP (2013)
Keyphrases
- combinatorial optimization
- discrete optimization
- optimization problems
- upper bound
- quadratic programming
- optimization algorithm
- global optimization
- convex optimization problems
- optimization strategies
- nonlinear programming
- boolean optimization
- convex programming
- quadratic program
- traveling salesman problem
- case study
- exact solution
- optimization process
- branch and bound
- optimization method
- artificial neural networks
- neural network