Laurent Simon
发表
Gilles Audemard,
Laurent Simon,
Gilles Audemard,
2012,
CP.
Gilles Audemard,
George Katsirelos,
Laurent Simon,
2010,
AAAI.
Vasco M. Manquinho,
Olivier Roussel,
Jordi Planes,
2009
.
Gilles Audemard,
Laurent Simon,
2009
.
Laurent Simon,
2001
.
Karem A. Sakallah,
Laurent Simon,
K. Sakallah,
2011,
SAT.
François Goasdoué,
Ioana Manolescu,
Hélène Gagliardi,
2022
.
François Goasdoué,
Philippe Chatalic,
Laurent Simon,
2004,
ECAI.
Armando Tacchella,
Laurent Simon,
Daniel Le Berre,
2003,
SAT.
Sebastian Fischmeister,
Gilles Audemard,
Laurent Simon,
2014,
SAT.
Gilles Audemard,
Laurent Simon,
Loic Paulev'e,
2020,
SAT.
Gilles Audemard,
Laurent Simon,
Gilles Audemard,
2009,
IJCAI.
François Goasdoué,
Philippe Chatalic,
Laurent Simon,
2005,
IJCAI.
Gilles Audemard,
Laurent Simon,
Gilles Audemard,
2018,
Int. J. Artif. Intell. Tools.
François Goasdoué,
Philippe Chatalic,
Laurent Simon,
2005,
SOFSEM.
Olivier Roussel,
Matti Järvisalo,
Laurent Simon,
2012,
AI Mag..
Zhu Zhu,
Felip Manyà,
Chu Min Li,
2011,
IJCAI.
Zhu Zhu,
Felip Manyà,
Chu Min Li,
2012,
Artif. Intell..
Gilles Audemard,
Laurent Simon,
Gilles Audemard,
2014,
SAT.
Gilles Audemard,
Jean-Marie Lagniez,
Laurent Simon,
2013,
SAT.
Laurent Simon,
Daniel Le Berre,
Laurent Simon,
2003,
SAT.
Gilles Audemard,
Laurent Simon,
Gilles Audemard,
2013
.
Laurent Simon,
Laurent Simon,
2014,
POS@SAT.
George Katsirelos,
Laurent Simon,
G. Katsirelos,
2012,
CP.
Laurent Simon,
Guillaume Baud-Berthier,
Laurent Simon,
2018,
2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI).
François Goasdoué,
Philippe Chatalic,
Laurent Simon,
2006,
OTM Conferences.
Philippe Chatalic,
Laurent Simon,
Laurent Simon,
2000,
CADE.
Edward A. Hirsch,
Laurent Simon,
Daniel Le Berre,
2004,
Annals of Mathematics and Artificial Intelligence.
Edward A. Hirsch,
Laurent Simon,
Laurent Simon,
2002
.
Laurent Simon,
Sabine Peres,
Martin Morterol,
2014,
CMSB.
Daniel Le Berre,
Olivier Roussel,
Laurent Simon,
2012,
AI Mag..
Marijn J. H. Heule,
Marijn Heule,
Edward A. Hirsch,
2019,
J. Satisf. Boolean Model. Comput..
Laurent Simon,
Daniel Le Berre,
Laurent Simon,
2004,
SAT (Selected Papers.