Table of ContentsChapter 2: Simplification, Optimization and Implication Simplification, Optimization and Implication Constraint Simplification Redundant Constraints Redundant Constraints Solved Form Solvers Projection Projection Fourier’s Algorithm Fourier’s Algorithm Example Projecting Term Constraints Constraint Simplifiers Simplifier Definition Tree Constraint Simplifier Tree Simplification Example Simplifier Properties Optimization Optimization Problem Optimization Example Optimization Simplex Algorithm Simplex Algorithm Simplex Example Simplex Solved Form Simplex Example Simplex Algorithm Simplex Example Another example Another example The Missing Part The Missing Part Example Missing Part Example II Implication and Equivalence Implication Example Implication and Equivalence Simplication, Optimization and Implication Summary |
Author: Computer Science |