Next:
Branch and Bound
Up:
SYMPHONY 5.6.19 User's Manual
Previous:
Using the Callback Functions
Contents
Technical Details
Subsections
Branch and Bound
Branch and Cut
Design of SYMPHONY
An Object-oriented Approach
Data Structures and Storage
Variables
Constraints
Search Tree
Modular Implementation
The Master Module
The Tree Management Module
The Node Processing Module
The Cut Generation Module
The Cut Management Module
Algorithm Summary
Details of the Implementation
The Master Module
Initial Solve
Solve from Warm Start
Modifying Parameters.
Modifying Problem Data.
Bicriteria Solve
The Node Processing Module
The LP Engine
Managing the LP Relaxation
Branching
The Tree Management Module
Managing the Search Tree
Search Chains and Diving
The Two-Phase Algorithm
The Cut Generation Module
The Cut Management Module
Maintaining and Scanning the Pool
Using Multiple Pools
Parallelizing BCP
Parallel Configurations
Inter-process Communication
Fault Tolerance
