Mathematical programming based debugging.
Leo LibertiStéphane Le RouxJeremy LeconteFabrizio MarinelliPublished in: Electron. Notes Discret. Math. (2010)
Keyphrases
- mathematical programming
- linear programming
- combinatorial optimization
- queueing theory
- goal programming
- mixed integer linear
- tree search
- optimization approaches
- controlled tabular adjustment
- optimal solution
- vehicle routing problem
- constrained optimization
- stationary points
- linear program
- mixed integer linear programming
- constraint satisfaction problems
- cost function
- lower bound
- search algorithm