Search - Université d'Artois Access content directly

Filter your results

4 Results
authFullName_s : Samuel Thomas

Arbres de décision affine pour le comptage de modèles

Frédéric Koriche , Jean-Marie Lagniez , Pierre Marquis , Samuel Thomas
7èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'13), 2013, Aix-en-Provence, Région indéterminée
Conference papers hal-03300760v1

Compiling Constraint Networks into Multivalued Decomposable Decision Graphs

Frédéric Koriche , Jean-Marie Lagniez , Pierre Marquis , Samuel Thomas
24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2015, Buenos Aires, Argentina. pp.332-338
Conference papers hal-03300749v1

Knowledge Compilation for Model Counting: Affine Decision Trees

Frédéric Koriche , Jean-Marie Lagniez , Pierre Marquis , Samuel Thomas
23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 2013, Beijing, China. pp.947-953
Conference papers hal-00866468v1

Compilation de réseaux de contraintes en graphes de décision décomposables multivalués

Frédéric Koriche , Jean-Marie Lagniez , Pierre Marquis , Samuel Thomas
11èmes Journées Francophones de Programmation par Contraintes (JFPC'15), 2015, Bordeaux, France
Conference papers hal-03300757v1