Daniel Le Berre (Preferred)
Daniel Le Berre
Full Professor, Université d'Artois
Joined
June 2024
Names
Emails
****@cril.fr (Confirmed)
****@univ-artois.fr (Confirmed)
****@cril-lab.fr (Confirmed)
Personal Links
Career & Education History
Full Professor
Université d'Artois (univ-artois.fr)
2013 – Present
Advisors, Relations & Conflicts
Expertise
satisfiability
Present
boolean modeling
Present
solver evaluation
Present
Publications
Co-Authors
- Amador Durán
- Ana Belén Sánchez
- Andreas Pleuss
- Anne Parrain
- Anthony Blomme
- Antonio Ruiz Cortés
- Armando Tacchella
- Armin Biere
- Bertrand Mazure
- Claudette Cayrol
- Clément Quinton
- David Déharbe
- Didier Dubois
- Edward A. Hirsch
- Emmanuel Lonca
- Favio Demarco
- Florian Letombe
- Frédéric Koriche
- Gerhard Brewka
- Goetz Botterweck
- Henri Prade
- Hélène Fargier
- Inês Lynce
- Jean-Marie Lagniez
- Jifeng Xuan