GPU-Accelerated Relaxed Decision Diagrams for Branch-and-Bound Optimization.

Fabio Tardivo, Laurent Michel, Willem-Jan van Hoeve

Browse the full CP paper archive.