E. C. Freuder and C. D. Elfe, Neighborhood inverse consistency preprocessing, Proceedings of the National Conference on Artificial Intelligence (AAAI), pp.202-208, 1996.

E. Gelle and R. Weigel, Interactive configuration using constraint satisfaction techniques, Second International Conference on Practical Application of Constraint Technology (PACT). Menlo Park, pp.37-44, 1996.

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

N. R. Vempaty, Solving constraint satisfaction problems using finite state automata, Proceedings of the National Conference on Artificial Intelligence (AAAI), pp.453-458, 1992.

T. Kam, T. Villa, R. K. Brayton, and A. Sangiovanni-vincentelli, Multi-valued decision diagrams: Theory and applications, Multiple-Valued Logic, vol.4, issue.12, pp.9-62, 1998.

H. R. Andersen, T. Hadzic, J. N. Hooker, and P. Tiedemann, A Constraint Store Based on Multivalued Decision Diagrams, Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP), pp.118-132, 2007.
DOI : 10.1007/978-3-540-74970-7_11

H. Cambazard, T. Hadzic, and B. O. Sullivan, Knowledge compilation for itemset mining, Proceedings of the European Conference on Artificial Intelligence (ECAI), pp.1109-1110, 2010.

F. Giunchiglia and P. Traverso, Planning as Model Checking, Proceedings of the European Conference on Planning (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, Proceedings of the Conference on Uncertainty in Artificial Intelligence (UAI), pp.279-288, 1999.

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

A. Darwiche and P. Marquis, A knowledge compilation map, Journal of Artificial Intelligence Research (JAIR), vol.17, pp.229-264, 2002.

R. E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986.
DOI : 10.1109/TC.1986.1676819

H. Fargier and P. Marquis, On the use of partially ordered decision graphs in knowledge compilation and quantified Boolean formulae, Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 2006.

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

T. Hadzic, E. R. Hansen, and B. O. Sullivan, On automata, MDDs and BDDs in constraint satisfaction, Proceedings of the ECAI Workshop on Inference methods based on Graphical Structures of Knowledge (WIGSK), 2008.

H. Fargier and P. Marquis, Extending the knowledge compilation map: Krom, Horn, affine and beyond, Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), pp.442-447, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00800742

G. Gogic, H. A. Kautz, C. H. Papadimitriou, and B. Selman, The comparative linguistics of knowledge representation, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp.862-869, 1995.

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

R. E. 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

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

A. Niveau, H. Fargier, and C. Pralet, Representing CSPs with Set-Labeled Diagrams: A Compilation Map, Proceedings of the International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR)2011 ? Revised Selected Papers, pp.137-171, 2012.
DOI : 10.1007/978-3-642-29449-5_6

C. Meinel and T. Theobald, Algorithms and Data Structures in VLSI Design: OBDD ? Foundations and Applications, 1998.
DOI : 10.1007/978-3-642-58940-9