معرفی
Cédric Piette is a Lecturer in Computer Science at the IUT of Lens, part of the University of Artois. He has been affiliated with the GEA (Gestion et Administration) department since 2009, where he teaches and conducts research in artificial intelligence, particularly in constraint programming. His work focuses on algorithmic techniques for SAT and CSP problems, parallelizing solvers, and explaining inconsistency.
- Affiliations: CRIL (Lens Computer Science Research Center), IUT of Lens, University of Artois
- Leadership: President of the French Association for Constraint Programming (AFPC, 2013–2019)
Research interests include advancing parallel SAT solving (e.g., PeneLoPe solver), MUS extraction (AOMUS, HYCAM), and knowledge compilation. He contributed to projects like SATAS (SAT-as-a-service) and PAJERO (resource management systems).
He has participated in major conferences (e.g., IJCAI, ECAI, CP) and served on program committees for ICTAI, SAT, and IEEE AI4I. His team won awards in SAT 2009 for the ReVivAl preprocessor, achieving 2nd place in APPLICATION and CRAFTED categories.
Supervised PhD students include Gaël Glorian (distributed optimization) and Samuel Thomas (knowledge compilation for model counting).
