Scholar
Laurent Simon
Google Scholar ID: -al4e6gAAAAJ
Professor of Computer Science, Bordeaux University, France (since 2013)
Artificial Intelligence
Logic
Theorem Proving
SAT
Diagnostics
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,516
H-index
16
i10-index
27
Publications
20
Co-authors
10
list available
Co-authors
5 total
George Katsirelos
INRAE
Jean-Marie Lagniez
Professor of Computer Science, CRIL - Artois University
Armando Tacchella
Professor, Information Processing Systems, University of Genoa
Chu Min Li
MIS, Université de Picardie Jules Verne
Edward A. Hirsch
Full Professor, Department of Computer Science, Ariel University
