DMC: A Distributed Model Counter

Type de document :
Communication dans un congrès avec actes
DOI :
10.24963/ijcai.2018/185
Titre :
DMC: A Distributed Model Counter
Auteur(s) :
Lagniez, Jean-Marie [Auteur]
Centre de Recherche en Informatique de Lens [CRIL]
Marquis, Pierre [Auteur]
Centre de Recherche en Informatique de Lens [CRIL]
Szczepanski, Nicolas [Auteur]
Centre de Recherche en Informatique de Lens [CRIL]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Titre de la manifestation scientifique :
27th International Joint Conference on Artificial Intelligence (IJCAI'18)
Ville :
Stockholm
Pays :
Suède
Date de début de la manifestation scientifique :
2018-07-13
Titre de l’ouvrage :
27th International Joint Conference on Artificial Intelligence (IJCAI'18)
Date de publication :
2018
Discipline(s) HAL :
Informatique [cs]/Intelligence artificielle [cs.AI]
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Oui
Collections :
Source :
Harvested from HAL
Fichiers
Thumbnail
  • https://hal-univ-artois.archives-ouvertes.fr/hal-03300776/document
  • Accès libre
  • Accéder au document
Thumbnail
Thumbnail
  • https://hal-univ-artois.archives-ouvertes.fr/hal-03300776/document
  • Accès libre
  • Accéder au document
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail