Difference Decision Diagrams, Proceedings of the 8th Annual Conference of the EACSL, pp.111-125, 1999. ,
DOI : 10.1007/3-540-48168-0_9
Temporal constraint networks, Artificial Intelligence, vol.49, issue.1-3, pp.61-95, 1991. ,
DOI : 10.1016/0004-3702(91)90006-6
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
Solving constraint satisfaction problems using finite state automata, AAAI'1992, pp.453-458, 1992. ,
Compiling constraint satisfaction problems, Artificial Intelligence, vol.115, issue.2, pp.257-287, 1999. ,
DOI : 10.1016/S0004-3702(99)00077-6
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
SPUDD: stochastic planning using decision diagrams, UAI '99, pp.279-288, 1999. ,
A survey on knowledge compilation, AI Communications, vol.10, issue.3-4, pp.137-150, 1997. ,
A knowledge compilation map, pp.229-264, 2002. ,
The comparative linguistics of knowledge representation, IJCAI'95, pp.862-869, 1995. ,
A knowledge compilation map for ordered real-valued decision diagrams, AAAI'14, pp.1049-1055, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01095571
Temporal reasoning problems and algorithms for solving them (literature survey), 2007. ,