, A Constraint Store Based on Multivalued Decision Diagrams, CP, pp.118-132, 2007.
DOI : 10.1007/978-3-540-74970-7_11
, Deriving Filtering Algorithms from Constraint Checkers, CP'04, pp.107-122, 2004.
DOI : 10.1007/978-3-540-30201-8_11
, Manipulating MDD Relaxations for Combinatorial Optimization, CPAIOR, pp.20-35, 2011.
DOI : 10.1007/978-3-642-21311-3_5
, 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
, Graph-based algorithms for boolean function manipulation, IEEE Transactions on Computers, issue.8, pp.35677-691, 1986.
, An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints, Constraints, vol.177, issue.2???3, p.15, 2010.
DOI : 10.1007/s10601-009-9087-y
, MDD propagators with explanation, Constraints, vol.14, issue.3, pp.407-429, 2011.
DOI : 10.1007/s10601-011-9111-x
, Approximate Compilation of Constraints into Multivalued Decision Diagrams, CP, pp.448-462, 2008.
DOI : 10.1007/978-3-540-85958-1_30
, A Systematic Approach to MDD-Based Constraint Programming, CP, pp.266-280, 2010.
DOI : 10.1007/978-3-642-15396-9_23
, Csp/maxcsp/wcsp solver competitions, 2009.
, Avoiding plagiarism in markov sequence generation, Proceeding of the Twenty-Eight AAAI Conference on Artificial Intelligence, pp.2731-2737, 2014.
, Improving GAC-4 for table and MDD constraints Or-tools, Principles and Practice of Constraint Programming -20th International Conference ProceedingsCP Solvers: Modeling, Applications, Integration, and Standardization, pp.606-621, 2013.
, A Regular Language Membership Constraint for Finite Sequences of Variables, Proc. CP'04, pp.482-495, 2004.
DOI : 10.1007/978-3-540-30201-8_36
, Global Grammar Constraints, CP'06, pp.751-755, 2006.
DOI : 10.1007/11889205_64
, Global grammar constraints A dynamic programming approach for consistency and propagation for knapsack constraints, Annals of Operations Research, vol.118, pp.73-84, 2003.