Skip to Main content Skip to Navigation
Conference papers

Knowledge Compilation Languages as Proof Systems

Florent Capelli 1, 2
1 LINKS - Linking Dynamic Data
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
Complete list of metadata

https://hal.inria.fr/hal-02445523
Contributor : Florent Capelli <>
Submitted on : Monday, January 20, 2020 - 11:35:19 AM
Last modification on : Friday, December 11, 2020 - 6:44:06 PM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

62