JBoss.orgCommunity Documentation

Chapter 7. Exact methods

7.1. Overview
7.2. Brute Force
7.2.1. Algorithm description
7.2.2. Configuration
7.3. Branch and bound
7.3.1. Algorithm description
7.3.2. Configuration

Exact methods will always find the global optimum and recognize it too. That being said, they don't scale (not even beyond toy problems) and are therefor mostly useless.