Search - Archive ouverte HAL Access content directly

Filter your results

87 Results

Sur la génération des groupes finis non isomorphes

Gilles Audemard , Laurent Henocque
Actes des sixièmes Journées Nationales des problèmes NP complets (JNPC 00), 2000, Marseille, France. pp.57-66
Conference papers hal-03299521v1

pFactory: A generic library for designing parallel solvers

Gilles Audemard , Gael Glorian , Jean-Marie Lagniez , Valentin Montmirail , Nicolas Szczepanski et al.
International Conference on Applied Computing (AC), 2019, Cagliari, Italy
Conference papers hal-03299476v1

Extreme Cases in SAT Problems

Gilles Audemard , Laurent Simon
19th International Conference on Theory and Applications of Satisfiability Testing (SAT'16), 2016, Bordeaux, France. pp.87-103
Conference papers hal-03299479v1

Bounded Model Checking for Timed Systems

Gilles Audemard , Alessandro Cimatti , Artur Kornilowicz , Roberto Sebastiani
22nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'02), 2002, Houston, United States. pp.243-259
Conference papers hal-03299487v1
Image document

On freezeing and reactivating learnt clauses

Gilles Audemard , Jean-Marie Lagniez , Bertrand Mazure , Lakhdar Saïs
14th International Conference on Theory and Applications of Satisfiability Testing (SAT'11), 2011, Ann Arbor, United States. pp.188-200
Conference papers hal-00865529v1

Just-In-Time Compilation of Knowledge Bases

Gilles Audemard , Jean-Marie Lagniez , Laurent Simon
23th International Joint Conference on Artificial Intelligence (IJCAI'13), 2013, China. pp.447-453
Conference papers hal-00845501v2

A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions

Gilles Audemard , Piergiorgio Bertoli , Alessandro Cimatti , Artur Kornilowicz , Roberto Sebastiani et al.
18th Conference on Automated Deduction (CADE'18), 2002, Oxford, United Kingdom. pp.195-210
Conference papers hal-03299489v1
Image document

Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus ?

Gilles Audemard , Mouny Samy Modeliar , Laurent Simon
Cinquièmes Journées Francophones de Programmation par Contraintes, Jun 2009, Orléans, France. pp.245-255
Conference papers hal-00390919v1

Glucose 2.1: Aggressive - but Reactive - Clause Database Management, Dynamic Restarts

Gilles Audemard , Laurent Simon
International Workshop of Pragmatics of SAT (Affiliated to SAT), Jun 2012, Trento, Italy
Conference papers hal-00845494v1

Predecting and detecting symmetry in Finite Model Search

Gilles Audemard , Belaïd Benhamou , Laurent Henocque
[Rapport de recherche] LSIS.RR.2004.003, LSIS. 2004
Reports hal-01488871v1
Image document

Approche hybride pour SAT

Gilles Audemard , Jean-Marie Lagniez , Bertrand Mazure
17ième Congrès Francophone sur la Reconnaissance des Formes et Intelligence Artificielle (RFIA'10), 2010, Caen, France. pp.279-286
Conference papers hal-00869833v1

XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems

Frederic Boussemart , Christophe Lecoutre , Gilles Audemard , Cédric Piette
[Technical Report] ArXiv. 2021
Reports hal-03701208v1

Integrating boolean and mathematical solving : fondations, basic algorithms and requirements

Gilles Audemard , Piergiorgio Bertoli , Alessandro Cimatti , Artur Kornilowicz , Roberto Sebastiani et al.
Proceedings on the 10th Symposium on the Integration of symbolic Computation and Mechanized Reasoning (CALCULEMUS 2002) LNCS 2385, 2002, Marseille, France. pp.231-245
Conference papers hal-03299488v1

Scoring-based Neighborhood Dominance for the Subgraph isomorphism Problem

Gilles Audemard , Christophe Lecoutre , Mouny Samy-Modeliar , Gilles Goncalves , Daniel Porumbel et al.
20th International Conference on Principles and Practice of Constraint Programming (CP'14), 2014, Lyon, France. pp.125--141
Conference papers hal-03299480v1

OpenSAT: une plateforme SAT Open Source

Gilles Audemard , Daniel Le Berre , Olivier Roussel
JNPC'03, 2003, Amiens, France
Conference papers hal-03299519v1

A Symbolic Search Based Approach for Quantified Boolean Formulas

Gilles Audemard , Lahkdar Sais
2005, pp.16
Conference papers hal-00014621v1
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 et al.
JFPC 2012, 2012, Toulouse, France
Conference papers hal-00818239v1
Image document

PeneLoPe, a Parallel Clause-Freezer Solver

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

Un cadre général pour l'analyse des conflits

Gilles Audemard , Lucas Bordeaux , Youssef Hamadi , Said Jabbour , Lakhdar Saïs et al.
4ièmes Journées Francophones de Programmation par Contraintes (JFPC'08), 2008, Nantes, France. pp.267-376
Conference papers hal-00869816v1

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

Améliorer SAT dans le cadre incrémental

Gilles Audemard , Armin Biere , Jean-Marie Lagniez , Laurent Simon
Revue d'intelligence artificielle (RIA), 2014, 28 (5), pp.593-614
Journal articles hal-03299516v1

Dominance au voisinage pour le probleme d'isomorphisme de sous-graphe

Gilles Audemard , Christophe Lecoutre , Mouny Samy-Modeliar , Gilles Goncalves , Daniel Porumbel et al.
8èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'14), 2014, Angers, France
Conference papers hal-03299517v1

AVAL: an Enumerative Method for SAT

Gilles Audemard , Belaid Benhamou , Pierre Siegel
International Conference on Computational Logic (CL'00), 2000, Londres, United Kingdom. pp.373-383
Conference papers hal-03299491v1

GLUCOSE 2.1: Aggressive, but Reactive, Clause Database Management, Dynamic Restarts (System Description)

Gilles Audemard , Laurent Simon
Pragmatics of SAT 2012 (POS'12), 2012, Trento, Italy
Conference papers hal-03299482v1

SAT Based BDD Solver for Quantified Boolean Formulas

Gilles Audemard , Lakhdar Saïs
16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'04), 2004, Boca Raton, United States. pp.82 - 89
Conference papers hal-03299484v1

Reasoning by symmetry and function ordering in Finite model generation

Gilles Audemard , Belaid Benhamou
18th Conference on Automated Deduction (CADE'18), 2002, Copenhagen, Denmark. pp.226-240
Conference papers hal-03299486v1
Image document

Exploitation des symétries dans les formules booléennes quantifiées

Gilles Audemard , Said Jabbour , Lakhdar Saïs
Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France
Conference papers inria-00085795v1

Efficient Symmetry Breaking Predicates for Quantified Boolean Formulae

Gilles Audemard , Said Jabbour , Lahkdar Sais
Workshop on Symmetry and Constraint Satisfaction Problems - Affiliated to CP(SymCon), Sep 2007, United States. pp.14-21
Conference papers hal-00385814v1

Integrating Conflict Driven Clause Learning to Local Search

Gilles Audemard , Jean-Marie Lagniez , Bertrand Mazure , Lakhdar Saïs
6th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09), 2009, Lisbonne, Portugal
Conference papers hal-00870858v1
Image document

RCL: Reduce learnt clauses

Gilles Audemard , Jean-Marie Lagniez , Bertrand Mazure , Lakhdar Saïs
2013
Reports hal-00872811v1