Enhancing Static Symmetry Breaking with Dynamic Symmetry Handling in CDCL SAT Solvers. - Rodrigue Konan Tchinda; Clémentin Tayou Djamégni (Int. J. Artif. Intell. Tools, 2019)

Parallel Hybridization for SAT: An Efficient Combination of Search Space Splitting and Portfolio. - Rodrigue Konan Tchinda; Clémentin Tayou Djamégni (ARIMA J., 2020)

Amélioration du raisonnement dans les solveurs SAT CDCL avec la règle d'extension. - Rodrigue Konan Tchinda; Clémentin Tayou Djamégni (ARIMA J., 2020)

On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers. - Rodrigue Konan Tchinda; Clémentin Tayou Djamégni (Constraints An Int. J., 2020)