Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

49 résultats
Page :
triés par

Solving E-SquarO through SAT-coding

 Éric Grégoire , Atef Hasni , Cédric Piette , Bertrand Mazure
15th International Conference on Tools with Artificial Intelligence (ICTAI'13), 2013, Washington DC, United States. pp.955-962
Communication dans un congrès hal-00873261v1

Sous-formules minimales insatisfaisables

 Éric Grégoire , Bertrand Mazure , Cédric Piette
Lakhdar Saïs. Problème SAT : progrès et défis, Hermès, pp.221-242, 2008
Chapitre d'ouvrage hal-00869999v1

Extracting MUSes

 Eric Gregoire , Bertrand Mazure , Cedric Piette
Aug 2006, pp.387-391
Communication dans un congrès hal-00110099v1

MUST et couvertures de MUST pour l'explication et la réparation de CSP

 Éric Grégoire , Bertrand Mazure , Cédric Piette
Revue I3 - Information Interaction Intelligence, 2008, 8 (2), pp.181-202
Article dans une revue hal-00869772v1

Un nouveau cadre diviser pour régner pour SAT distribué

 Gilles Audemard , Benoît Hoessen , Said Jabbour , Cédric Piette
9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13), 2013, Aix-en-Provence, Francia. pp.51-58
Communication dans un congrès hal-00869916v1
Image document

Deterministic Parallel DPLL

 Youssef Hamadi , Said Jabbour , Cédric Piette , Lakhdar Saïs
Journal on Satisfiability, Boolean Modeling and Computation, 2011, 7 (4), pp.127-132
Article dans une revue hal-00868187v1

Concilier Parallélisme et Déterminisme dans la Résolution de SAT

 Youssef Hamadi , Said Jabbour , Cédric Piette , Lakhdar Saïs
7ièmes Journées Francophones de la Programmation par Contraintes (JFPC'11), 2011, France. pp.162-172
Communication dans un congrès hal-00869896v1
Image document

Deterministic Parallel (DP)2LL

 Youssef Hamadi , Said Jabbour , Cédric Piette , Lakhdar Saïs
2011
Rapport hal-00872792v1

Génération d'arguments et contre-arguments par calcul de MUS

 Philippe Besnard , Éric Grégoire , Cédric Piette , Badran Raddaoui
10ièmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA'11), 2011, Chambéry, France. pp.827-840
Communication dans un congrès hal-00869856v1

Redondance dans les CNF : laissons le solveur agir

 Cédric Piette
Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'08), 2008, Paris, France
Communication dans un congrès hal-00873276v1

Ludii and XCSP: Playing and Solving Logic Puzzles

 Cédric Piette , Eric Piette , Matthew Stephenson , Dennis Soemers , Cameron Browne
IEEE Conferences on Games (COG'19), 2019, Londres (UK), Unknown Region
Communication dans un congrès hal-03301117v1
Image document

Une nouvelle méthode hybride pour calculer tous les MSS et tous les MUS

 Eric Grégoire , Bertrand Mazure , Cédric Piette
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France
Communication dans un congrès inria-00151153v1

A New Heuristic-based albeit Complete Method to Extract MUCs from Unsatisfiable CSPs

 Eric Gregoire , Bertrand Mazure , Cedric Piette , Lahkdar Sais
Sep 2006, pp.325-329
Communication dans un congrès hal-00121129v1

Boosting a Complete Technique to Find MSS and MUS thanks to a Local Search Oracle

 Eric Gregoire , Bertrand Mazure , Cedric Piette
International Joint Conference on Artificial Intelligence(IJCAI'07), Jan 2007, Hyderabad, India. pp.2300-2305
Communication dans un congrès hal-00261272v1

Tracking MUSes and Strict Inconsistent Covers

 Eric Gregoire , Bertrand Mazure , Cedric Piette
Nov 2006, pp.39-46
Communication dans un congrès hal-00118614v1
Image document

On Finding Minimally Unsatisfiable Cores of CSPs

 Eric Gregoire , Bertrand Mazure , Cedric Piette
International Journal on Artificial Intelligence Tools (IJAIT), 2008, 17 (4), pp.745-763
Article dans une revue hal-00747173v1

Dolius: A Distributed Parallel SAT Solving Framework

 Gilles Audemard , Benoît Hoessen , Saïd Jabbour , Cédric Piette
Pragmatics of SAT 2014 (POS'14), 2014, Vienna, Austria
Communication dans un congrès hal-03299493v1
Image document

Extraction de sous-formules minimales inconsistantes

 Eric Gregoire , Bertrand Mazure , Cédric Piette
Journées Francophones de Programmation par Contraintes, 2006, Ecole des Mines d'Alès - Nîmes
Communication dans un congrès inria-00085769v1

Une méta-heuristique basée sur le comptage de contraintes falsifiées

 Eric Gregoire , Bertrand Mazure , Cedric Piette
First workshop on Metaheuristics (META'06), Nov 2006, Hammamet, Tunisie
Communication dans un congrès hal-00476556v1

Explication et réparation de l'incohérence dans les CSP : de la contrainte au tuple

 Éric Grégoire , Bertrand Mazure , Cédric Piette
16ième congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA'08), 2008, Amiens, Région indéterminée. pp.258-267
Communication dans un congrès hal-03300589v1
Image document

Localiser des sources d'incohérence spécifiques sans les calculer toutes

 Eric Gregoire , Bertrand Mazure , Cédric Piette
Actes des Cinquièmes Journées Francophones de Programmation par Contraintes, Jun 2009, Orléans, France. pp.95-105
Communication dans un congrès hal-00390920v1

Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants

 Philippe Besnard , Éric Grégoire , Cédric Piette , Badran Raddaoui
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2012, 26 (3), pp.209-224
Article dans une revue hal-00869764v1

Vivifying propositional clausal formulae

 Cedric Piette , Youssef Hamadi , Lakhdar Saïs
18th European Conference on Artificial Intelligence (ECAI'08), 2008, Patras, Greece. pp.525-529
Communication dans un congrès hal-00865274v1

MUST: Provide a Finer-Grained Explanation of Unsatisfiability

 Eric Gregoire , Bertrand Mazure , Cedric Piette
13th International Conference on Principles and Practice of Constraint Programming(CP'07), Sep 2007, Providence, United States. pp.317-331
Communication dans un congrès hal-00193856v1
Image document

On Approaches to Explaining Infeasibility of Sets of Boolean Clauses

 Éric Grégoire , Bertrand Mazure , Cédric Piette
20th International Conference on Tools with Artificial Intelligence (ICTAI'08), 2008, Dayton, United States. pp.74-83
Communication dans un congrès hal-00865300v1
Image document

Revisiting Clause Exchange in Parallel SAT Solving

 Gilles Audemard , Benoît Hoessen , Said Jabbour , Jean-Marie Lagniez , Cédric Piette
15th International Conference on Theory and Applications of Satisfiability Testing (SAT'12), 2012, Trento, Italy. pp.200-213
Communication dans un congrès hal-00865596v1
Image document

Résolution parallèle de SAT : mieux collaborer pour aller plus loin

 Gilles Audemard , Benoît Hoessen , Said Jabbour , Jean-Marie Lagniez , Cédric Piette
8ièmes Journées Francophones de Programmation par Contraintes (JFPC'12), 2012, France. pp.35-44
Communication dans un congrès hal-00869905v1

Ordering Intervals: From Qualitative Temporal Constraint Problems to Preference Representation

 Souhila Kaci , Cédric Piette
10th Workshop on Preferences and Soft Constraints (SOFT'10), 2010, St Andrews, United Kingdom
Communication dans un congrès hal-00870886v1
Image document

Let the Solver Deal with Redundancy

 Cédric Piette
20th International Conference on Tools with Artificial Intelligence (ICTAI'08), 2008, Dayton, United States. pp.67-73
Communication dans un congrès hal-00865304v1
Image document

Efficient Combination of Decision Procedure for MUS Computation

 Cédric Piette , Youssef Hamadi , Lakhdar Saïs
7th International Symposium on Frontiers of Combining Systems (FroCos'09), 2009, Trento, Italy. pp.335-349
Communication dans un congrès hal-00865334v1
Page :