6 books • 2 series
Static Analysis
Online Stochastic Combinatorial Optimization (The MIT Press)
Constraint-Based Local Search (The MIT Press)
The OPL Optimization Programming Language
Numerica (The MIT Press)
Constraint Satisfaction in Logic Programming (Logic Programming)