3
Publications
80
Citations
3
H-Index
2015
Active since
Affiliations
Emmanuel Lonca is an author at Université d'Artois specializing in formal methods, engineering, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningLanguageSemanticsStatisticsVerificationArgumentationModel Counting
Publications per year
2015–2020
3
3
Definability for model counting
Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis · Artificial Intelligence · 2020 · 16 citations · Full text
Rows per page
1–3 of 3