Rodrigue Konan Tchinda

According to our database, Rodrigue Konan Tchinda authored at least 4 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

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

Parallel Hybridization for SAT: An Efficient Combination of Search Space Splitting and Portfolio.

Rodrigue Konan Tchinda, Clémentin Tayou Djamégni

ARIMA J., 2020

2019

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