Computer science Research Institute of Lens
Artificial intelligence research and its applications
Themes
Laboratory
Data
Knowledge
Constraints
Explainable AI
Interdisciplinary AI
Projects
Ongoing
Recents
Former
Partners
PhD theses & HDR
Ongoing Phds
Defended Phds
Defended HDR
Output
Publications
Software
Data
Awards
Scientific mediation
News
News
Seminars
Directory
Practical information
Location
Contact
Organization
Recruitment
English
Deutsch
Français
Rim Belaiche
- PhD student
Personal Data
belaiche@cril.fr
Degree prepared or obtained while being at CRIL
PhD thesis :
From AI to Propositional Logic: Conversion to SAT and Model Analysis