Knowledge Compilation Languages as Proof Systems
Type de document :
Communication dans un congrès avec actes
Titre :
Knowledge Compilation Languages as Proof Systems
Auteur(s) :
Capelli, Florent [Auteur]
Linking Dynamic Data [LINKS]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Linking Dynamic Data [LINKS]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Titre de la manifestation scientifique :
Theory and Applications of Satisfiability Testing – SAT 2019
Ville :
Lisbon
Pays :
Portugal
Date de début de la manifestation scientifique :
2019-07-07
Date de publication :
2019-06-29
Discipline(s) HAL :
Informatique [cs]
Informatique [cs]/Complexité [cs.CC]
Informatique [cs]/Intelligence artificielle [cs.AI]
Informatique [cs]/Logique en informatique [cs.LO]
Informatique [cs]/Complexité [cs.CC]
Informatique [cs]/Intelligence artificielle [cs.AI]
Informatique [cs]/Logique en informatique [cs.LO]
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Fichiers
- http://arxiv.org/pdf/1903.04039
- Accès libre
- Accéder au document
- 1903.04039
- Accès libre
- Accéder au document