30 books • 5 series
Book #2: Logic-Based Methods for Optimization
Book #34: Optimization Methods for Logical Inference