Logic-based methods for optimization: combining optimization and constraint satisfaction

Some Examples The Logic of Propositions The Logic of Discrete Variables The Logic of 0-1 Inequalities Cardinality Clauses Classical Boolean Methods Logic-Based Modeling Logic-Based Branch and Bound Constraint Generation Domain Reduction Constraint Programming Continuous Relaxations Decomposition Methods Branching Rules Relaxation Duality Inference Duality Search Strategies Logic-Based Benders Decomposition Nonserial Dynamic Programming Discrete Relaxations References Index.