Gilles Audemard
发表
Lakhdar Sais,
Gilles Audemard,
Jean-Marie Lagniez,
2011,
SAT.
Wolfram Burgard,
Olivier Buffet,
Christian Balkenius,
2007,
IJCAI.
Gilles Audemard,
Laurent Simon,
2016,
SAT.
Gilles Audemard,
Jean-Marie Lagniez,
Nicolas Szczepanski,
2016,
CP.
Armin Biere,
Gilles Audemard,
Jean-Marie Lagniez,
2014,
Rev. d'Intelligence Artif..
Gilles Audemard,
Belaid Benhamou,
2002,
CADE.
Gilles Audemard,
Saïd Jabbour,
Cédric Piette,
2014,
POS@SAT.
Lakhdar Sais,
Gilles Audemard,
2007,
SAT.
Sebastian Fischmeister,
Gilles Audemard,
Laurent Simon,
2014,
SAT.
Gilles Audemard,
Laurent Simon,
Gilles Audemard,
2013
.
Gilles Audemard,
Jean-Marie Lagniez,
Saïd Jabbour,
2012,
SAT.
Gilles Audemard,
Laurent Henocque,
Belaid Benhamou,
2006,
Journal of Automated Reasoning.
Gilles Audemard,
Laurent Simon,
2007,
IJCAI.
Gilles Audemard,
Laurent Simon,
Gilles Audemard,
2009,
IJCAI.
Gilles Audemard,
Pierre Siegel,
Belaid Benhamou,
2000,
Computational Logic.
Gilles Audemard,
Saïd Jabbour,
Cédric Piette,
2014,
2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
Lakhdar Sais,
Gilles Audemard,
2005,
SAT.
Lakhdar Sais,
Gilles Audemard,
L. Sais,
2004,
16th IEEE International Conference on Tools with Artificial Intelligence.
Gilles Audemard,
George Katsirelos,
Laurent Simon,
2010,
AAAI.
Gilles Audemard,
Belaid Benhamou,
2001,
JFPLC.
Lakhdar Sais,
Gilles Audemard,
Jean-Marie Lagniez,
2009,
2009 21st IEEE International Conference on Tools with Artificial Intelligence.
Gilles Audemard,
Jean-Marie Lagniez,
Bertrand Mazure,
2010
.
Gilles Audemard,
Laurent Simon,
Gilles Audemard,
2018,
Int. J. Artif. Intell. Tools.
Gilles Audemard,
Laurent Henocque,
2001,
IJCAR.
Marco Bozzano,
Gilles Audemard,
Alessandro Cimatti,
2005,
Electron. Notes Theor. Comput. Sci..
Piergiorgio Bertoli,
Gilles Audemard,
Alessandro Cimatti,
2002,
CADE.
Gilles Audemard,
Laurent Simon,
2012
.
Gilles Audemard,
Jean-Marie Lagniez,
Bertrand Mazure,
2010
.
Lakhdar Sais,
Gilles Audemard,
Saïd Jabbour,
2008,
J. Algorithms.
Gilles Audemard,
Jean-Marie Lagniez,
Laurent Simon,
2013,
SAT.
Gilles Audemard,
Alessandro Cimatti,
Artur Kornilowicz,
2002,
FORTE.
Piergiorgio Bertoli,
Gilles Audemard,
Alessandro Cimatti,
2002,
AISC.
Lakhdar Sais,
Gilles Audemard,
Saïd Jabbour,
2007,
IJCAI.
Gilles Audemard,
Jean-Marie Lagniez,
Nicolas Szczepanski,
2017,
SAT.
Gilles Audemard,
Laurent Simon,
Loic Paulev'e,
2020,
SAT.
Gilles Audemard,
Laurent Simon,
Gilles Audemard,
2014,
SAT.
Gilles Audemard,
Laurent Henocque,
Belaid Benhamou,
2000,
CADE.
Lakhdar Sais,
Gilles Audemard,
Jean-Marie Lagniez,
2009,
LSCS.
Gilles Audemard,
Jean-Marie Lagniez,
Laurent Simon,
2013,
IJCAI.
Lakhdar Sais,
Gilles Audemard,
Bertrand Mazure,
2004,
SAT.
Gilles Audemard,
Piotr Milczarski,
Zofia Stawska,
2020
.
Gilles Audemard,
Daniel Cosmin Porumbel,
Christophe Lecoutre,
2014,
CP.
Lakhdar Sais,
Gilles Audemard,
Lucas Bordeaux,
2008,
SAT.
Lakhdar Sais,
Gilles Audemard,
Jean-Marie Lagniez,
2010,
LPAR.
Lakhdar Sais,
Gilles Audemard,
Lucas Bordeaux,
2008
.
Gilles Audemard,
Laurent Simon,
Gilles Audemard,
2012,
CP.
Gilles Audemard,
Jean-Marie Lagniez,
Pierre Marquis,
2021,
AAAI.
Gilles Audemard,
Nicolas Szczepanski,
Lucien Mousin,
2021,
GECCO.
Gilles Audemard,
Jean-Marie Lagniez,
Pierre Marquis,
2021,
ArXiv.
Gilles Audemard,
Jean-Marie Lagniez,
Pierre Marquis,
2021,
KR.
Gilles Audemard,
2015
.