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.
KeywordsLution Tral Reso Cardi
Unable to display preview. Download preview PDF.