A Distributed Cloud Service for the Resolution of SAT - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017
Fichier non déposé

Dates et versions

hal-02066391 , version 1 (13-03-2019)

Identifiants

Citer

Yanik Ngoko, Denis Trystram, Christophe Cérin. A Distributed Cloud Service for the Resolution of SAT. 2017 IEEE 7th International Symposium on Cloud and Service Computing (SC2), Nov 2017, Kanazawa, Japan. pp.1-8, ⟨10.1109/SC2.2017.9⟩. ⟨hal-02066391⟩
71 Consultations
0 Téléchargements

Altmetric

Partager

More