Fargier, Hélène, Frédéric Maris, and Vincent Roger. [pdf]
"Temporal Constraint Satisfaction Problems and Difference Decision Diagrams: A Compilation Map."
Tools with Artificial Intelligence (ICTAI), 2015 IEEE 27th International Conference on. IEEE, 2015.