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

ISBN: 978-0-471-38521-9

Hardcover

520 pages

May 2000

List Price:	US $222.50
Government Price:	US $153.56
Enter Quantity: Buy

Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction (0471385212) cover image

This is a Print-on-Demand title. It will be printed specifically to fill your order. Please allow an additional 10-15 days delivery time. The book is not returnable.

< >

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.