Rodrigue Konan Tchinda
Orcid: 0000-0002-1994-4699
According to our database1,
Rodrigue Konan Tchinda
authored at least 4 papers
between 2019 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
0
1
2
3
4
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Constraints An Int. J., 2020
ARIMA J., 2020
Parallel Hybridization for SAT: An Efficient Combination of Search Space Splitting and Portfolio.
ARIMA J., 2020
2019
Enhancing Static Symmetry Breaking with Dynamic Symmetry Handling in CDCL SAT Solvers.
Int. J. Artif. Intell. Tools, 2019