Symposium on Practical Aspects of Declarative Languages

• Parallel Declarative Solutions of Sequencing Problems using Multi-valued Decision Diagrams and GPUs