Logic-Based Benders Decomposition: Theory and Applications

Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction

Taking Ethics Seriously: Why Ethics Is an Essential Tool for the Modern Workplace

Optimization Methods for Logical Inference

Decision Diagrams for Optimization