Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

34 résultats
Page :
triés par

Compiling Strategic Games with Complete Information into Stochastic CSPs

 Frédéric Koriche , Sylvain Lagrue , Eric Piette , Sébastien Tabary
AAAI-15 Workshop on Planning, Search, and Optimization (PlanSOpt-15), 2015, Austin, Unknown Region
Communication dans un congrès hal-03300752v1

Programmation par contraintes stochastiques pour le General Game Playing avec informations incomplètes

 Frédéric Koriche , Sylvain Lagrue , Eric Piette , Sébastien Tabary
12èmes Journée Francophone de Programmation par Contraintes (JFPC'16), 2016, Montpellier, Région indéterminée. pp.7-16
Communication dans un congrès hal-03300755v1
Image document

Des symétries locales de variables aux symétries globales

 Christophe Lecoutre , Sébastien Tabary
4ièmes Journées Francophones de Programmation par Contraintes (JFPC'08), 2008, Nantes, France. pp.181-190
Communication dans un congrès hal-00869820v1
Image document

Lightweight Detection of Variable Symmetries for Constraint Satisfaction

 Christophe Lecoutre , Sébastien Tabary
21st International Conference on Tools with Artificial Intelligence (ICTAI'09), 2009, Newark, United States. pp.193-197
Communication dans un congrès hal-00865351v1

Résolution de SCSP avec borne de confiance pour les jeux de stratégie

 Frédéric Koriche , Sylvain Lagrue , Eric Piette , Sébastien Tabary
11èmes Journées Francophones de Programmation par Contraintes (JFPC'15), 2015, Bordeaux, France
Communication dans un congrès hal-03300756v1
Image document

Learning Variable Ordering Heuristics with Multi-Armed Bandits and Restarts

 Hugues Wattez , Frédéric Koriche , Christophe Lecoutre , Anastasia Paparrizou , Sébastien Tabary
ECAI 2020 - 24th European Conference on Artificial Intelligence, Aug 2020, Santiago de Compostela ( virtual ), Spain. ⟨10.3233/FAIA200115⟩
Communication dans un congrès hal-03096124v1
Image document

Résolution du problème WCSP par extraction de noyaux insatisfiables minimaux

 Christophe Lecoutre , Nicolas Paris , Olivier Roussel , Sébastien Tabary
9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13), 2013, Aix-en-Provence, France. pp.195-204
Communication dans un congrès hal-00869934v1
Image document

Des symétries locales de variables aux symétries globales

 Christophe Lecoutre , Sébastien Tabary
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.181-190
Communication dans un congrès inria-00291567v1

A Distributed Version of Syrup

 Gilles Audemard , Jean-Marie Lagniez , Nicolas Szczepanski , Sébastien Tabary
20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17), 2017, Melbourne, Australia. pp.215-232
Communication dans un congrès hal-03299477v1
Image document

Identification et exploitation d'états partiels inconsistants

 Christophe Lecoutre , Sébastien Tabary , Vincent Vidal
Cinquièmes Journées Francophones de Programmation par Contraintes, Jun 2009, Orléans, France. pp.365-375
Communication dans un congrès hal-00390906v1

Stochastic Constraint Programming for General Game Playing with Imperfect Information

 Frédéric Koriche , Sylvain Lagrue , Eric Piette , Sébastien Tabary
General Intelligence in Game-Playing Agents - workshop at IJCAI'16 (GIGA'16), 2016, New York, Unknown Region
Communication dans un congrès hal-03300751v1
Image document

Reasoning from Last Conflict(s) in Constraint Programming

 Christophe Lecoutre , Lakhdar Saïs , Sébastien Tabary , Vincent Vidal
Artificial Intelligence Journal (AIJ), 2009, 173 (18), pp.1592-1614
Article dans une revue hal-00868108v1

Optimisation du montage de prêts immobiliers : modélisation du problème

 Frederic Boussemart , Fred Hemery , Christophe Lecoutre , Olivier Roussel , Sébastien Tabary
[Rapport de recherche] Centre de Recherche en Informatique de Lens. 2012
Rapport hal-00872787v1
Image document

Refining Constraint Weighting

 Hugues Wattez , Christophe Lecoutre , Anastasia Paparrizou , Sébastien Tabary
ICTAI 2019: IEEE 31st International Conference on Tools with Artificial Intelligence, Nov 2019, Portland, United States. ⟨10.1109/ICTAI.2019.00019⟩
Communication dans un congrès hal-02414832v1
Image document

Symmetry-reinforced Nogood Recording from Restarts

 Christophe Lecoutre , Sébastien Tabary
11th International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon'11), 2011, Perugia, Italy. pp.13-27
Communication dans un congrès hal-00870896v1

An Adaptive SAT Solver

 Gilles Audemard , Jean-Marie Lagniez , Nicolas Szczepanski , Sébastien Tabary
22nd International Conference on Principles and Practice of Constraint Programming (CP'16), 2016, Toulouse, France. pp.30-48
Communication dans un congrès hal-03299478v1
Image document

Tables de transposition pour la satisfaction de contraintes

 Christophe Lecoutre , Lakhdar Saïs , Sébastien Tabary , Vincent Vidal
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France
Communication dans un congrès inria-00151218v1

General Game Playing with Stochastic CSP

 Frédéric Koriche , Sylvain Lagrue , Eric Piette , Sébastien Tabary
Constraints, 2016, 21 (1), pp.95--114
Article dans une revue hal-03300744v1

Symmetry Breaking

 Christophe Lecoutre , Sébastien Tabary
Constraint Networks: Techniques and Algorithms, Wiley, pp.495-530, 2009
Chapitre d'ouvrage hal-00870006v1
Image document

Abscon 112: towards more robustness

 Christophe Lecoutre , Sébastien Tabary
3rd International Constraint Solver Competition (CSC'08), 2008, Sydney, Australia. pp.41-48
Communication dans un congrès hal-00870841v1

Nogood Recording from Restarts

 Christophe Lecoutre , Lahkdar Saïs , Sébastien Tabary , Vincent Vidal
20th International Joint Conference on Artificial Intelligence(IJCAI'07), Jan 2007, Hyderabad, India. pp.131-136
Communication dans un congrès hal-00261264v1

Traduction de jeux à information incertaine en réseaux de contraintes stochastiques

 Frédéric Koriche , Sylvain Lagrue , Eric Piette , Sébastien Tabary
10èmes Journées Francophones de Programmation par Contraintes (JFPC'14), 2014, Angers, France
Communication dans un congrès hal-03300759v1

Constraint-Based Symmetry Detection in General Game Playing

 Frédéric Koriche , Sylvain Lagrue , Eric Piette , Sébastien Tabary
Twenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. pp.280-287, ⟨10.24963/ijcai.2017/40⟩
Communication dans un congrès hal-02417672v1
Image document

Propagating Soft Table Constraints

 Christophe Lecoutre , Nicolas Paris , Olivier Roussel , Sébastien Tabary
18th International Conference on Principles and Practice of Constraint Programming (CP'12), 2012, Québec, Canada. pp.390-405
Communication dans un congrès hal-00865618v1

Recording and Minimizing Nogoods from Restarts

 Christophe Lecoutre , Lahkdar Saïs , Sébastien Tabary , Vincent Vidal
Journal on Satisfiability, Boolean Modeling and Computation(JSAT), 2007, 1, pp.147-167
Article dans une revue hal-00191092v1

Swarmsat : un solveur sat massivement parallèle.

 Jean-Marie Lagniez , Sébastien Tabary , Nicolas Szczepanski
11èmes Journées Francophones de Programmation par Contraintes (JFPC'15), 2015, Bordeaux, France
Communication dans un congrès hal-03300782v1

WoodStock : un programme-joueur générique

 Frédéric Koriche , Sylvain Lagrue , Eric Piette , Sébastien Tabary
Revue d'intelligence artificielle (RIA), 2017, 31 (3), pp.281-310
Article dans une revue hal-03300753v1
Image document

Heuristiques de recherche : un bandit pour les gouverner toutes

 Hugues Wattez , Frédéric Koriche , Christophe Lecoutre , Anastasia Paparrizou , Sébastien Tabary
15es Journées Francophones de Programmation par Contraintes – JFPC 2019, Jun 2019, Albi, France
Communication dans un congrès hal-02414288v1

Abscon 109: a generic CSP solver

 Christophe Lecoutre , Sébastien Tabary
2nd International Constraint Solver Competition (CSC'06), 2008, Nantes, France. pp.55-63
Communication dans un congrès hal-00870833v1

Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance

 Christophe Lecoutre , Lahkdar Saïs , Sébastien Tabary , Vincent Vidal
13th International Conference on Principles and Practice of Constraint Programming(CP'07), Sep 2007, Providence, United States. pp.453-467
Communication dans un congrès hal-00383824v1
Page :