- Presentation
- Downloads
- Benchmark libraries
- Tutorials
- Use cases
- All examples
- Weighted n-queen problem
- Weighted latin square problem
- Bicriteria weighted latin square problem
- Radio link frequency assignment problem
- Frequency assignment problem with polarization
- Mendelian error detection problem
- Block modeling problem
- Airplane landing problem
- Warehouse location problem
- Square packing problem
- Square soft packing problem
- Golomb ruler problem
- Board coloration problem
- Learning to play the Sudoku
- Learning car configuration preferences
- Visual Sudoku Tutorial
- Visual Sudoku Application
- Visual Sudoku App for Android
- A sudoku code
- User Guide
- What is toulbar2
- How do I install it ?
- How do I test it ?
- Using it as a black box
- Quick start
- Command line options
- General control
- Preprocessing
- Initial upper bounding
- Tree search algorithms and tree decomposition selection
- Variable neighborhood search algorithms
- Node processing & bounding options
- Branching, variable and value ordering
- Diverse solutions
- Console output
- File output
- Probability representation and numerical control
- Random problem generation
- Input formats
- How do I use it ?
- References
- Reference Manual
- Introduction
- Exact optimization for cost function networks and additive graphical models
- Modules
- Variable and cost function modeling
- Solving cost function networks
- Output messages, verbosity options and debugging
- Preprocessing techniques
- Variable and value search ordering heuristics
- Soft arc consistency and problem reformulation
- Virtual Arc Consistency enforcing
- NC bucket sort
- Variable elimination
- Propagation loop
- Backtrack management
- Libraries
- Documentation in pdf
- Publications