A Distributed Cloud Service for the Resolution of SAT - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

A Distributed Cloud Service for the Resolution of SAT

Yanik Ngoko
  • Fonction : Auteur
Qarnot Computing [Montrouge]
Denis Trystram
Université Grenoble Alpes [2016-2019]
Data Aware Large Scale Computing
CV
Christophe Cérin
  • Fonction : Auteur
  • PersonId : 834271
Laboratoire d'Informatique de Paris-Nord

Domaines

Calcul parallèle, distribué et partagé [cs.DC]

Denis Trystram  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02066391

Soumis le : mercredi 13 mars 2019-13:29:32

Dernière modification le : vendredi 5 avril 2024-03:26:14

Fichier non déposé

Dates et versions

hal-02066391 , version 1 (13-03-2019)

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 UGA CNRS INRIA LIG LIG_SRCPR LIPN INRIA2 LIG-SRCPR-DATAMOVE USPC GALILE SORBONNE-PARIS-NORD LIG_SIDCH ACT-R
59 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More