Most Popular Books
- Constraint-Based Local Search
- The OPL Optimization Programming Language
- Numerica: A Modeling Language for Global Optimization
- Constraint Satisfaction in Logic Programming
- Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings (Lecture Notes in Computer Science)