Publications

Articles de conférences internationales

2015 Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, Compiling Constraint Networks into Multivalued Decomposable Decision Graphs in 24th International Joint Conference on Artificial Intelligence (IJCAI'15),pp. 332-338, 2015.

2013 Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, Knowledge Compilation for Model Counting: Affine Decision Trees in 23rd International Joint Conference on Artificial Intelligence (IJCAI'13),pp. 947-953, 2013.

Articles de conférences nationales

2015 Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, Compilation de réseaux de contraintes en graphes de décision décomposables multivalués in 11èmes Journées Francophones de Programmation par Contraintes (JFPC'15),2015.

2013 Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, Arbres de décision affine pour le comptage de modèles in 7èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'13),2013.