Table of ContentsChapter 7: Controlling Search Controlling Search Estimating Efficiency Mode of Usage Mode of Usage Example Controlling Search Example Controlling Search Example Controlling Search Example Controlling Search Example Controlling Search Example Rule Ordering Literal Ordering Literal Ordering Deterministic Predicates Literal Reordering Example Literal Reordering Example Literal Reordering Example Adding Redundant Cons. Adding Redundant Cons. Adding Redundant Cons. Solver Redundant Constraints Solver Redundant Example Solver Redundant Example Solver Redundant Example Minimization Minimization Example Minimization Example Minimization Example Minimization Identifying Determinism If-Then-Else If-Then-Else Example If-Then-Else Example If-Then-Else Examples If-Then-Else Once Once Example Bridge Building Example Bridge Building Example Representing Bridges Representing Bridges Strut Constraints Strut Constraints Summing Forces Join Constraints Join Constraints Bridge Analysis Bridge Design Bridge Design Position Search Bridge Design Perturbation Search Controlling Search Summary |
Author: Computer Science |