Knowledge Compilation Languages as Proof Systems - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2019

Knowledge Compilation Languages as Proof Systems

Domaines

Informatique [cs] Complexité [cs.CC] Intelligence artificielle [cs.AI] Logique en informatique [cs.LO]

Florent Capelli  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02445523

Soumis le : lundi 20 janvier 2020-11:35:19

Dernière modification le : jeudi 17 octobre 2024-08:54:10

Consulter le texte intégral

Dates et versions

hal-02445523 , version 1 (20-01-2020)

Identifiants

Citer

Florent Capelli. Knowledge Compilation Languages as Proof Systems. Theory and Applications of Satisfiability Testing – SAT 2019, Jul 2019, Lisbon, Portugal. pp.90-99, ⟨10.1007/978-3-030-24258-9_6⟩. ⟨hal-02445523⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA CRISTAL INRIA2 CRISTAL-LINKS UNIV-LILLE ANR
30 Consultations
0 Téléchargements

Altmetric

Partager

More