A Distributed Cloud Service for the Resolution of SAT.

Yanik Ngoko Denis Trystram Christophe Cérin

Published in: SC² (2017)

Keyphrases

distributed systems
multi agent
distributed environment
fault tolerant
cloud services
cloud computing
web services
management system
object oriented
source code
data processing
mobile services