Yanik Ngoko, Denis Trystram, Christophe Cérin. A Distributed Cloud Service for the Resolution of SAT. In 2017 IEEE 7th International Symposium on Cloud and Service Computing, SC² 2017, Kanazawa, Japan, November 22-25, 2017. pages 1-8, IEEE, 2017. [doi]
Abstract is missing.