Sequential and Parallel Solving of the Boolean Satisfiability

Details

Document Type

Thèse

Author

KONAN TCHINDA RODRIGUE

Registration Number

Non défini

Thesis Supervisor

Pr TAYOU DJAMEGNI Clémentin

Domain

Reseaux et service distribué

Date of defense

25/07/2020

School

UNIVERSITÉ DE DSCHANG > FACULTE DES SCIENCES > TOUS LES DEPARTEMENTS DE LA FS