Author:Clémentin Tayou Djamegni

Publications
Enhancing Reasoning with the Extension Rule in CDCL SAT Solvers Rodrigue Konan Tchinda and Clémentin Tayou Djamegni EasyChair Preprint no. 2121