J. Amilhastre, Représentation par automate d'ensemble de solutions deprobì emes de satisfaction de contraintes, 1999.

J. Amilhastre, A. Héì-ene-fargier, C. Niveau, and . Pralet, Compiling CSPs : A complexity map of (non-deterministic) multivalued decision diagrams, In ICTAI, pp.1-8, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01303816

J. Amilhastre, P. Janssen, and M. Vilarem, FA Minimisation Heuristics for a Class of Finite Languages, International Workshop on Implementing Automata (WIA), pp.1-12, 1999.
DOI : 10.1007/3-540-45526-4_1

J. Amilhastre, P. Héì-ene-fargier, and . 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

H. Reif-andersen, T. Hadzic, J. N. Hooker, and P. Tiedemann, A Constraint Store Based on Multivalued Decision Diagrams, CP, pp.118-132, 2007.
DOI : 10.1007/978-3-540-74970-7_11

H. Cambazard, T. Hadzic, O. Barry, and . Sullivan, Knowledge compilation for itemset mining, ECAI, pp.1109-1110, 2010.

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

F. Giunchiglia and P. Traverso, Planning as Model Checking, ECP, pp.1-20, 1999.
DOI : 10.1007/10720246_1

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

T. Kam, T. Villa, R. K. Brayton, and A. Sangiovanni-vincentelli, Multivalued Decision Diagrams : Theory and Applications . Multiple-Valued Logic, pp.9-62, 1998.

A. Srinivasan, T. Kam, S. Malik, and R. K. Brayton, Algorithms for discrete function manipulation, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers, pp.92-95, 1990.
DOI : 10.1109/ICCAD.1990.129849

R. Endre-tarjan and M. Yannakakis, Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs, SIAM Journal on Computing, vol.13, issue.3, pp.566-579, 1984.
DOI : 10.1137/0213035

P. Torasso and G. Torta, Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis, Reasoning, Action and Interaction in AI Theories and Systems, pp.287-305, 2006.
DOI : 10.1007/11829263_16