Accés Lliure

Tabla de Contenidos: “…Preface -- Introduction -- Search -- The solution process -- Branching search -- Constraint-directed search -- Local search -- Bibliographic notes -- Inference -- Completeness -- Inference duality -- Linear inequalities -- General inequality constraints -- Propositional logic -- 0-1 linear inequalities -- Integer linear inequalities -- The element constraint -- The all-different constraint -- The cardinality and Nvalues constraints -- The circuit constraint -- The stretch constraint -- Disjunctive scheduling -- Cumulative scheduling -- Bibliographic notes -- Relaxation -- Relaxation duality -- Linear inequalities -- Semicontinuous piecewise linear functions -- 0-1 linear inequalities -- Integer linear inequalities -- Lagrangean and surrogate relaxations -- Disjunctions of linear systems -- Disjunctions of nonlinear systems -- MILP modeling -- Propositional Logic -- The element constraint -- The all-different constraint -- The cardinality constraint -- The circuit constraint -- Disjunctive scheduling -- Cumulative scheduling -- Bibliographic notes -- Dictionary of constraints -- References -- Index. …”