Logic-Based Benders Decomposition: Theory and Applications

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

Optimization Methods for Logical Inference

Decision Diagrams for Optimization