• View
• Edit
• History
• Print

GenericBRANCHANDBOUND

Branch-and-bound

The library(branch_and_bound) provides optimization functionality on top of propagation-based solvers like library(ic), library(fd), or even plain Prolog.

Here are some answers to advanced topics:

• How to find multiple/all optimal solutions: see http://eclipseclp.org/archive/eclipse-clp-users/1524.html and http://eclipseclp.org/archive/eclipse-clp-users/0468.html
• How to combine multiple branch-and-bound strategies via timeouts: see http://eclipseclp.org/archive/eclipse-clp-users/1364.html