Gilles Audemard

	2009
21		Gilles Audemard, Laurent Simon: Predicting Learnt Clauses Quality in Modern SAT Solvers. IJCAI 2009: 399-404
20		Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais: Integrating Conflict Driven Clause Learning to Local Search CoRR abs/0910.1247: (2009)
	2008
19		Gilles Audemard, Laurent Simon: Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms. CP 2008: 630-634
18		Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais: A Generalized Framework for Conflict Analysis. SAT 2008: 21-27
17		Gilles Audemard, Saïd Jabbour, Lakhdar Sais: SAT graph-based representation: A new perspective. J. Algorithms 63(1-3): 17-33 (2008)
	2007
16		Gilles Audemard, Laurent Simon: GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability. IJCAI 2007: 2256-2261
15		Gilles Audemard, Saïd Jabbour, Lakhdar Sais: Symmetry Breaking in Quantified Boolean Formulae. IJCAI 2007: 2262-2267
14		Gilles Audemard, Lakhdar Sais: Circuit Based Encoding of CNF Formula. SAT 2007: 16-21
	2006
13		Gilles Audemard, Belaid Benhamou, Laurent Henocque: Predicting and Detecting Symmetries in FOL Finite Model Search. J. Autom. Reasoning 36(3): 177-212 (2006)
	2005
12		Gilles Audemard, Lakhdar Sais: A Symbolic Search Based Approach for Quantified Boolean Formulas. SAT 2005: 16-30
11		Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani: Verifying Industrial Hybrid Systems with MathSAT. Electr. Notes Theor. Comput. Sci. 119(2): 17-32 (2005)
	2004
10		Gilles Audemard, Lakhdar Sais: SAT Based BDD Solver for Quantified Boolean Formulas. ICTAI 2004: 82-89
9		Gilles Audemard, Bertrand Mazure, Lakhdar Sais: Dealing with Symmetries in Quantified Boolean Formulas. SAT 2004
	2002
8		Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani: Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. AISC 2002: 231-245
7		Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani: A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. CADE 2002: 195-210
6		Gilles Audemard, Belaid Benhamou: Reasoning by Symmetry and Function Ordering in Finite Model Generation. CADE 2002: 226-240
5		Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani: Bounded Model Checking for Timed Systems. FORTE 2002: 243-259
	2001
4		Gilles Audemard, Laurent Henocque: The eXtended Least Number Heuristic. IJCAR 2001: 427-442
3		Gilles Audemard, Belaid Benhamou: Etude des symétries dans les modèles finis. JFPLC 2001: 109-122
	2000
2		Gilles Audemard, Belaid Benhamou, Laurent Henocque: Two Techniques to Improve Finite Model Search. CADE 2000: 302-308
1		Gilles Audemard, Belaid Benhamou, Pierre Siegel: AVAL: An Enumerative Method for SAT. Computational Logic 2000: 373-383

Coauthor Index

1	Belaid Benhamou	[1] [2] [3] [6] [13]
2	Piergiorgio Bertoli	[7] [8]
3	Lucas Bordeaux	[18]
4	Marco Bozzano	[11]
5	Alessandro Cimatti	[5] [7] [8] [11]
6	Youssef Hamadi	[18]
7	Laurent Henocque	[2] [4] [13]
8	Saïd Jabbour	[15] [17] [18]
9	Artur Kornilowicz	[5] [7] [8]
10	Jean-Marie Lagniez	[20]
11	Bertrand Mazure	[9] [20]
12	Lakhdar Sais	[9] [10] [12] [14] [15] [17] [18] [20]
13	Roberto Sebastiani	[5] [7] [8] [11]
14	Pierre Siegel	[1]
15	Laurent Simon	[16] [19] [21]

Colors in the list of coauthors