CODD: A Decision Diagram-Based Solver for Combinatorial Optimization.

Laurent Michel, Willem-Jan van Hoeve

Browse the full ECAI paper archive.