A Distributed Cloud Service for the Resolution of SAT - Archive ouverte HAL Access content directly
Conference Papers Year :
No file

Dates and versions

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

Identifiers

Cite

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⟩
52 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More