Author:Rodrigue Konan Tchinda

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