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]
@inproceedings{NgokoTC17,
title = {A Distributed Cloud Service for the Resolution of SAT},
author = {Yanik Ngoko and Denis Trystram and Christophe Cérin},
year = {2017},
doi = {10.1109/SC2.2017.9},
url = {http://doi.ieeecomputersociety.org/10.1109/SC2.2017.9},
researchr = {https://researchr.org/publication/NgokoTC17},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {2017 IEEE 7th International Symposium on Cloud and Service Computing, SC² 2017, Kanazawa, Japan, November 22-25, 2017},
publisher = {IEEE},
isbn = {978-1-5386-5862-8},
}