Filtrer vos résultats
- 32
- 17
- 34
- 9
- 5
- 1
- 3
- 49
- 1
- 2
- 1
- 1
- 2
- 3
- 5
- 5
- 2
- 5
- 12
- 4
- 5
- 1
- 32
- 16
- 1
- 49
- 8
- 5
- 4
- 3
- 1
- 49
- 24
- 21
- 12
- 11
- 8
- 8
- 7
- 5
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
49 résultats
|
|
triés par
|
Solving E-SquarO through SAT-coding15th 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 insatisfaisablesLakhdar Saïs. Problème SAT : progrès et défis, Hermès, pp.221-242, 2008
Chapitre d'ouvrage
hal-00869999v1
|
|||
Génération d'arguments et contre-arguments par calcul de MUS10iè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 agirJournées Nationales de l'Intelligence Artificielle Fondamentale (IAF'08), 2008, Paris, France
Communication dans un congrès
hal-00873276v1
|
|||
|
Deterministic Parallel (DP)2LL2011
Rapport
hal-00872792v1
|
||
Ludii and XCSP: Playing and Solving Logic PuzzlesIEEE Conferences on Games (COG'19), 2019, Londres (UK), Unknown Region
Communication dans un congrès
hal-03301117v1
|
|||
|
Une nouvelle méthode hybride pour calculer tous les MSS et tous les MUSTroisiè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 CSPsSep 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 OracleInternational 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 CoversNov 2006, pp.39-46
Communication dans un congrès
hal-00118614v1
|
|||
|
On Finding Minimally Unsatisfiable Cores of CSPsInternational Journal on Artificial Intelligence Tools (IJAIT), 2008, 17 (4), pp.745-763
Article dans une revue
hal-00747173v1
|
||
Un nouveau cadre diviser pour régner pour SAT distribué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
|
|||
Extracting MUSesAug 2006, pp.387-391
Communication dans un congrès
hal-00110099v1
|
|||
MUST et couvertures de MUST pour l'explication et la réparation de CSPRevue I3 - Information Interaction Intelligence, 2008, 8 (2), pp.181-202
Article dans une revue
hal-00869772v1
|
|||
|
Deterministic Parallel DPLLJournal 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 SAT7ièmes Journées Francophones de la Programmation par Contraintes (JFPC'11), 2011, France. pp.162-172
Communication dans un congrès
hal-00869896v1
|
|||
|
Efficient Combination of Decision Procedure for MUS Computation7th International Symposium on Frontiers of Combining Systems (FroCos'09), 2009, Trento, Italy. pp.335-349
Communication dans un congrès
hal-00865334v1
|
||
MUST: Provide a Finer-Grained Explanation of Unsatisfiability13th 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
|
|||
|
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses20th International Conference on Tools with Artificial Intelligence (ICTAI'08), 2008, Dayton, United States. pp.74-83
Communication dans un congrès
hal-00865300v1
|
||
|
Revisiting Clause Exchange in Parallel SAT Solving15th International Conference on Theory and Applications of Satisfiability Testing (SAT'12), 2012, Trento, Italy. pp.200-213
Communication dans un congrès
hal-00865596v1
|
||
|
Résolution parallèle de SAT : mieux collaborer pour aller plus loin8iè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 Representation10th Workshop on Preferences and Soft Constraints (SOFT'10), 2010, St Andrews, United Kingdom
Communication dans un congrès
hal-00870886v1
|
|||
|
Let the Solver Deal with Redundancy20th International Conference on Tools with Artificial Intelligence (ICTAI'08), 2008, Dayton, United States. pp.67-73
Communication dans un congrès
hal-00865304v1
|
||
Dolius: A Distributed Parallel SAT Solving FrameworkPragmatics of SAT 2014 (POS'14), 2014, Vienna, Austria
Communication dans un congrès
hal-03299493v1
|
|||
|
Extraction de sous-formules minimales inconsistantesJourné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éesFirst 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 tuple16iè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
|
|||
|
Localiser des sources d'incohérence spécifiques sans les calculer toutesActes 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 inconsistantsRevue 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 formulae18th European Conference on Artificial Intelligence (ECAI'08), 2008, Patras, Greece. pp.525-529
Communication dans un congrès
hal-00865274v1
|
- 1
- 2