J. B. Møller, J. Lichtenberg, H. R. Andersen, and H. Hulgaard, Difference Decision Diagrams, Proceedings of the 8th Annual Conference of the EACSL, pp.111-125, 1999.
DOI : 10.1007/3-540-48168-0_9

R. Dechter, I. Meiri, and J. Pearl, Temporal constraint networks, Artificial Intelligence, vol.49, issue.1-3, pp.61-95, 1991.
DOI : 10.1016/0004-3702(91)90006-6

K. Stergiou and M. Koubarakis, Backtracking algorithms for disjunctions of temporal constraints, Artificial Intelligence, vol.120, issue.1, pp.81-117, 2000.
DOI : 10.1016/S0004-3702(00)00019-9

N. R. Vempaty, Solving constraint satisfaction problems using finite state automata, AAAI'1992, pp.453-458, 1992.

R. Weigel and B. Faltings, Compiling constraint satisfaction problems, Artificial Intelligence, vol.115, issue.2, pp.257-287, 1999.
DOI : 10.1016/S0004-3702(99)00077-6

J. Amilhastre, H. Fargier, and P. Marquis, Consistency restoration and explanations in dynamic CSPs???Application to configuration, Artificial Intelligence, vol.135, issue.1-2, pp.199-234, 2002.
DOI : 10.1016/S0004-3702(01)00162-X

J. Hoey, R. St-aubin, A. J. Hu, and C. Boutilier, SPUDD: stochastic planning using decision diagrams, UAI '99, pp.279-288, 1999.

M. Cadoli and F. M. Donini, A survey on knowledge compilation, AI Communications, vol.10, issue.3-4, pp.137-150, 1997.

A. Darwiche and P. Marquis, A knowledge compilation map, pp.229-264, 2002.

G. Gogic, H. Kautz, and C. P. , The comparative linguistics of knowledge representation, IJCAI'95, pp.862-869, 1995.

H. Fargier, P. Marquis, A. Niveau, and N. Schmidt, A knowledge compilation map for ordered real-valued decision diagrams, AAAI'14, pp.1049-1055, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01095571

L. R. Planken, Temporal reasoning problems and algorithms for solving them (literature survey), 2007.