Complete Anytime Decision Diagram Search with GPU-Accelerated State Expansion.

Fabio Tardivo, Laurent Michel, Willem-Jan van Hoeve

Browse the full CPAIOR paper archive.