Force : a fast and easy-to-implement variable-ordering heuristic, ACM Great Lakes symposium on VLSI, GLSVLSI '03, 2003. ,
Représentation par automate d'ensemble de solutions deprobì emes de satisfaction de contraintes, 1999. ,
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
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
Semiring-based csps and valued csps : Frameworks, properties, and comparison, Constraints, vol.4, issue.3, pp.199-240, 1999. ,
DOI : 10.1023/A:1026441215081
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
JavaBayes Version 0 Bayesian Networks in Java, User Manual, 2002. ,
Evaluation of static variable ordering heuristics for mdd construction, ISMVL, pp.254-260, 2002. ,
Semiring labelled decision diagrams, revisited : Canonicity and spatial efficiency issues, irit research report rr?2013-20?fr, 2013. ,
A BDD-Based Approach to Interactive Configuration, CP, p.797, 2004. ,
DOI : 10.1007/978-3-540-30201-8_76
A BDDbased polytime algorithm for cost-bounded interactive configuration, AAAI, pp.62-67, 2006. ,
Calculating valid domains for bdd-based interactive configuration, 1394. ,
SPUDD : Stochastic planning using decision diagrams, UAI, 1999. ,
Formal verification using edge-valued binary decision diagrams, IEEE Trans. on Computers, vol.45, issue.2, pp.247-255, 1996. ,
Edge-valued binary decision diagrams for multi-level hierarchical verification, DAC, pp.608-613, 1992. ,
XML Representation of Constraint Networks : Format XCSP 2.1, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00872825
Affine algebraic decision diagrams (AADDs) and their application to structured probabilistic inference, Proc. of IJCAI'05, pp.1384-1390, 2005. ,
Factored edge-valued binary decision diagrams. Formal Methods in System Design, 1997. ,
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. ,
Decision diagrams for the computation of semiring valuations, IJCAI, 2005. ,