Keyphrases
- exact algorithms
- max sat
- lower bound
- sat solvers
- tabu search
- branch and bound algorithm
- branch and bound
- search algorithm
- weighted max sat
- vehicle routing problem with time windows
- satisfiability problem
- sat problem
- constraint satisfaction
- nonlinear programming
- boolean satisfiability
- maximum satisfiability
- knapsack problem
- linear programming
- orders of magnitude
- np complete
- multi objective
- search space
- reinforcement learning