Neighborhood inverse consistency preprocessing, Proceedings of the National Conference on Artificial Intelligence (AAAI), pp.202-208, 1996. ,
Interactive configuration using constraint satisfaction techniques, Second International Conference on Practical Application of Constraint Technology (PACT). Menlo Park, pp.37-44, 1996. ,
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
Solving constraint satisfaction problems using finite state automata, Proceedings of the National Conference on Artificial Intelligence (AAAI), pp.453-458, 1992. ,
Multi-valued decision diagrams: Theory and applications, Multiple-Valued Logic, vol.4, issue.12, pp.9-62, 1998. ,
A Constraint Store Based on Multivalued Decision Diagrams, Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP), pp.118-132, 2007. ,
DOI : 10.1007/978-3-540-74970-7_11
Knowledge compilation for itemset mining, Proceedings of the European Conference on Artificial Intelligence (ECAI), pp.1109-1110, 2010. ,
Planning as Model Checking, Proceedings of the European Conference on Planning (ECP), pp.1-20, 1999. ,
DOI : 10.1007/10720246_1
SPUDD: Stochastic planning using decision diagrams, Proceedings of the Conference on Uncertainty in Artificial Intelligence (UAI), pp.279-288, 1999. ,
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
A knowledge compilation map, Journal of Artificial Intelligence Research (JAIR), vol.17, pp.229-264, 2002. ,
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
On the use of partially ordered decision graphs in knowledge compilation and quantified Boolean formulae, Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 2006. ,
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
On automata, MDDs and BDDs in constraint satisfaction, Proceedings of the ECAI Workshop on Inference methods based on Graphical Structures of Knowledge (WIGSK), 2008. ,
Extending the knowledge compilation map: Krom, Horn, affine and beyond, Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), pp.442-447, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00800742
The comparative linguistics of knowledge representation, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp.862-869, 1995. ,
Représentation par automate d'ensemble de solutions deprobì emes de satisfaction de contraintes, 1999. ,
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
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
Representing CSPs with Set-Labeled Diagrams: A Compilation Map, Proceedings of the International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR)2011 ? Revised Selected Papers, pp.137-171, 2012. ,
DOI : 10.1007/978-3-642-29449-5_6
Algorithms and Data Structures in VLSI Design: OBDD ? Foundations and Applications, 1998. ,
DOI : 10.1007/978-3-642-58940-9