Keyphrases
- cooperative
- linear programming
- simplex method
- eigenvalue problems
- sat solving
- constraint problems
- multi agent systems
- branch and bound
- mixed integer linear programs
- quadratic programming
- lp relaxation
- combinatorial search
- linear program
- sat instances
- quadratic program
- combinatorial optimization
- markov decision problems
- constraint solvers