Sequential and Parallel Solving of the Boolean Satisfiability

Details

Type de Document

Thèse

Auteur

KONAN TCHINDA RODRIGUE

Matricule

Non défini

Directeur de Thèse

Pr TAYOU DJAMEGNI Clémentin

Domaine

Reseaux et service distribué

Date de soutenance

25/07/2020

Etablissement

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