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

D. Bergman, A. Cire, and W. Van-hoeve, MDD Propagation for sequence Constraints, Journal of Artificial Intelligence Research, vol.50, pp.697-722, 2014.
DOI : 10.1007/978-3-319-42849-9_10

D. Bergman, W. J. Van-hoeve, and J. N. Hooker, Manipulating MDD Relaxations for Combinatorial Optimization, CPAIOR, pp.20-35, 2011.
DOI : 10.1007/978-3-642-21311-3_5

S. Karl, . Brace, L. Richard, . Rudell, and . Bryant, Efficient implementation of a bdd package, Proceedings of the 27th ACM, pp.40-45, 1991.

R. E. Bryant, Symbolic Boolean manipulation with ordered binary-decision diagrams, ACM Computing Surveys, vol.24, issue.3, pp.293-318, 1992.
DOI : 10.1145/136035.136043

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

K. Cheng and R. Yap, An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints, Constraints, vol.177, issue.2???3, pp.265-304, 2010.
DOI : 10.1007/s10601-009-9087-y

C. K. Kenil, R. H. Cheng, and . Yap, Maintaining generalized arc consistency on ad hoc r-ary constraints, CP, pp.509-523, 2008.

A. André, J. N. Ciré, and . Hooker, The separation problem for binary decision diagrams, International Symposium on Artificial Intelligence and Mathematics, 2014.

F. Focacci and M. Milano, Global Cut Framework for Removing Symmetries, Proc. CP'01, pp.77-92, 2001.
DOI : 10.1007/3-540-45578-7_6

G. Gange, P. Stuckey, and R. Szymanek, MDD propagators with explanation, Constraints, vol.14, issue.3, pp.407-429, 2011.
DOI : 10.1007/s10601-011-9111-x

I. Gent, C. Jefferson, I. Miguel, and P. Nightingale, Data structures for generalised arc consistency for extensional constraints, Proc. AAAI'07, pp.191-197, 2007.

T. Hadzic, J. N. Hooker, O. Barry, P. Sullivan, and . Tiedemann, Approximate Compilation of Constraints into Multivalued Decision Diagrams, CP, pp.448-462, 2008.
DOI : 10.1007/978-3-540-85958-1_30

S. Hoda, W. J. Van-hoeve, and J. N. Hooker, A systematic approach to mddbased constraint programming, CP, pp.266-280, 2010.

O. Lhomme, Practical reformulations with table constraints, ECAI, pp.911-912, 2012.

A. Papadopoulos, P. Roy, and F. Pachet, Avoiding plagiarism in markov sequence generation, Proceeding of the Twenty-Eight AAAI Conference on Artificial Intelligence, pp.2731-2737, 2014.

G. Perez and J. Régin, Improving GAC-4 for Table and MDD Constraints, Principles and Practice of Constraint Programming -20th International Conference Proceedings, pp.606-621, 2014.
DOI : 10.1007/978-3-319-10428-7_44
URL : https://hal.archives-ouvertes.fr/hal-01344079

G. Perez and J. Régin, Efficient operations on mdds for building constraint programming models, International Joint Conference on Artificial Intelligence, IJCAI-15, pp.374-380, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01344084

J. Régin, Improving the expressiveness of table constraints, CP'11, proceedings workshop ModRef'11, 2011.

A. Srinivasan, T. Ham, S. Malik, K. Robert, and . Brayton, Algorithms for discrete function manipulation ICCAD-90, IEEE International Conference on, pp.92-95, 1990.