A Distributed Cloud Service for the Resolution of SAT

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02066391
Contributor : Denis Trystram <>
Submitted on : Wednesday, March 13, 2019 - 1:29:32 PM
Last modification on : Thursday, June 13, 2019 - 10:14:07 AM

Identifiers

Citation

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⟩

Share

Metrics

Record views

38