Search - Archive ouverte HAL Access content directly

Filter your results

48 Results

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
Conference papers 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
Book sections hal-00869999v1
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
Conference papers inria-00151153v1

Tracking MUSes and Strict Inconsistent Covers

Eric Gregoire , Bertrand Mazure , Cedric Piette
Nov 2006, pp.39-46
Conference papers hal-00118614v1

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
Conference papers hal-00261272v1
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
Journal articles hal-00747173v1

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
Conference papers hal-00121129v1
Image document

Deterministic Parallel (DP)2LL

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

Redondance dans les CNF : laissons le solveur agir

Cédric Piette
Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'08), 2008, Paris, France
Conference papers hal-00873276v1

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
Conference papers hal-00869856v1

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
Conference papers hal-03301117v1
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
Journal articles hal-00868187v1

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
Journal articles hal-00869772v1

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
Conference papers hal-00869896v1

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
Conference papers hal-00869916v1

Extracting MUSes

Eric Gregoire , Bertrand Mazure , Cedric Piette
Aug 2006, pp.387-391
Conference papers hal-00110099v1

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
Conference papers hal-00193856v1
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
Conference papers hal-00869905v1
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
Conference papers hal-00865300v1
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
Conference papers 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
Conference papers hal-00865334v1

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
Conference papers hal-00870886v1
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
Conference papers hal-00865596v1

Local-Search Extraction of MUSes

Eric Gregoire , Bertrand Mazure , Cedric Piette
Constraints Journal, Special issue on Local Search in Constraint Satisfaction, 2007, 12 (3), pp.325-344
Journal articles hal-00191085v1

A new local search algorithm to compute inconsistent kernels

Eric Gregoire , Bertrand Mazure , Cedric Piette
6th International Meta-heuristics International Conference (MIC'05), Aug 2005, Vienne, Austria
Conference papers hal-00456080v1
Image document

PeneLoPe, a Parallel Clause-Freezer Solver

Gilles Audemard , Benoît Hoessen , Said Jabbour , Jean-Marie Lagniez , Cédric Piette
SAT Challenge 2012: Solver and Benchmarks Descriptions, 2012, France. pp.43-44
Conference papers hal-00865592v1
Image document

preSAT: SAT Solver Description

Cédric Piette , Youssef Hamadi , Lakhdar Saïs
2008
Reports hal-00872842v1

Extraction d'ensembles minimaux conflictuels basée sur la recherche locale

Éric Grégoire , Bertrand Mazure , Cédric Piette
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2008, 22 (2), pp.161-181
Journal articles hal-00800650v1
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
JFPC 2012, 2012, Toulouse, France
Conference papers hal-00818239v1

MUS-Based Generation of Arguments and Counter-arguments

Philippe Besnard , Éric Grégoire , Cédric Piette , Badran Raddaoui
11th IEEE International Conference on Information Reuse and Integration (IEEE IRI'10), 2010, Las Vegas, United States. pp.239-244
Conference papers hal-00873095v1