Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs.

Fabio Tardivo, Enrico Pontelli

Browse the full PADL paper archive.