Mathematical Programming Embeddings of Logic.
Vivek S. BorkarVijay ChandruSanjoy K. MitterPublished in: J. Autom. Reason. (2002)
Keyphrases
- mathematical programming
- linear programming
- queueing theory
- goal programming
- combinatorial optimization
- modal logic
- optimization approaches
- mixed integer linear
- robust optimization
- tree search
- vehicle routing problem
- capacity expansion
- low dimensional
- cell suppression
- multi objective
- quadratic programming
- fixed point
- mixed integer linear programming
- vector space