Using goals

Documents goals and their role in a branch & cut search.

Branch & cut with goals
Documents the effect of goals in the search.
Special goals in branch & cut
Describes specialized, predefined goals to control the search.
Aggregating goals
Describes aggregate goals (And, Or).
Example: goals in branch & cut
Illustrates goals in a C++ application.
The goal stack
Describes the goal stack.
Memory management and goals
Describes goals in the context of memory management.
Cuts and goals
Distinguishes local cuts from global cuts and illustrates cuts added by a goal
Injecting heuristic solutions
Defines heuristic solutions and describes the injection of a heuristic solution by a goal.
Controlling goal-defined search
Describes node selection strategy with goals.
Example: using node evaluators in a node selection strategy
Illustrates node evaluators in a node selection strategy.
Search limits
Describes search limits induced by a goal.

Parent topic: Advanced programming techniques