A. Fadi, I. L. Aloul, K. A. Markov, and . Sakallah, Force : a fast and easy-to-implement variable-ordering heuristic, ACM Great Lakes symposium on VLSI, GLSVLSI '03, 2003.

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

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

R. I. Bahar, E. A. Frohm, C. M. Gaona, G. D. Hachtel, E. Macii et al., Algebraic decision diagrams and their applications, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD), pp.188-191, 1993.
DOI : 10.1109/ICCAD.1993.580054

S. Bistarelli, U. Montanari, F. Rossi, T. Schiex, G. Verfaillie et al., Semiring-based csps and valued csps : Frameworks, properties, and comparison, Constraints, vol.4, issue.3, pp.199-240, 1999.
DOI : 10.1023/A:1026441215081

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

F. Gagliardi-cozman, JavaBayes Version 0 Bayesian Networks in Java, User Manual, 2002.

R. Drechsler, Evaluation of static variable ordering heuristics for mdd construction, ISMVL, pp.254-260, 2002.

H. Fargier, P. Marquis, and N. Schmidt, Semiring labelled decision diagrams, revisited : Canonicity and spatial efficiency issues, irit research report rr?2013-20?fr, 2013.

T. Hadzic, A BDD-Based Approach to Interactive Configuration, CP, p.797, 2004.
DOI : 10.1007/978-3-540-30201-8_76

T. Hadzic and H. R. Andersen, A BDDbased polytime algorithm for cost-bounded interactive configuration, AAAI, pp.62-67, 2006.

T. Hadzic, R. Jensen, and H. R. Andersen, Calculating valid domains for bdd-based interactive configuration, 1394.

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

Y. Lai, M. Pedram, B. K. Sarma, and . Vrudhula, Formal verification using edge-valued binary decision diagrams, IEEE Trans. on Computers, vol.45, issue.2, pp.247-255, 1996.

Y. Lai and S. Sastry, Edge-valued binary decision diagrams for multi-level hierarchical verification, DAC, pp.608-613, 1992.

O. Roussel and C. Lecoutre, XML Representation of Constraint Networks : Format XCSP 2.1, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00872825

S. Sanner and D. A. Mcallester, Affine algebraic decision diagrams (AADDs) and their application to structured probabilistic inference, Proc. of IJCAI'05, pp.1384-1390, 2005.

P. Tafertshofer and M. Pedram, Factored edge-valued binary decision diagrams. Formal Methods in System Design, 1997.

E. Robert, M. Tarjan, and . Yannakakis, Simple linear-time algorithms to test chordality of graphs, test acyclicity of hypergraphs, and selectively reduce acyclic hypergraphs, SIAM J. Comput, vol.13, issue.3, pp.566-579, 1984.

N. Wilson, Decision diagrams for the computation of semiring valuations, IJCAI, 2005.