Inference brings hidden information to light. When applied to a constraint set, it deduces valid constraints that were only implicit. These constraints can reveal that certain regions of the search space contain no solutions, or at least no optimal solutions, and one wastes less time in unproductive search.
KeywordsMaster Problem Bender Decomposition Cardinality Constraint Sequence Constraint State Transition Graph
Unable to display preview. Download preview PDF.