A Distributed Cloud Service for the Resolution of SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Yanik Ngoko' in GoogleThis author has not been identified. Look up 'Denis Trystram' in GoogleThis author has not been identified. Look up 'Christophe Cérin' in Google

runs on WebDSL