Représentation par automate d'ensemble de solutions deprobì emes de satisfaction de contraintes, 1999. ,
Compiling CSPs : A complexity map of (non-deterministic) multivalued decision diagrams, In ICTAI, pp.1-8, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01303816
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
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
A Constraint Store Based on Multivalued Decision Diagrams, CP, pp.118-132, 2007. ,
DOI : 10.1007/978-3-540-74970-7_11
Knowledge compilation for itemset mining, ECAI, pp.1109-1110, 2010. ,
A knowledge compilation map, JAIR, vol.17, pp.229-264, 2002. ,
Planning as Model Checking, ECP, pp.1-20, 1999. ,
DOI : 10.1007/10720246_1
SPUDD : Stochastic planning using decision diagrams, UAI, pp.279-288, 1999. ,
Multivalued Decision Diagrams : Theory and Applications . Multiple-Valued Logic, pp.9-62, 1998. ,
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
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
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