Skip to Main content Skip to Navigation
Conference papers

Understanding the complexity of #SAT using knowledge compilation

Florent Capelli 1
1 Birkbeck College [University of London]
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-01836195
Contributor : Florent Capelli <>
Submitted on : Thursday, July 12, 2018 - 10:26:22 AM
Last modification on : Thursday, July 12, 2018 - 10:26:22 AM

Links full text

arxiv

Identifiers

Citation

Florent Capelli. Understanding the complexity of #SAT using knowledge compilation. 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. ⟨10.1109/LICS.2017.8005121⟩. ⟨hal-01836195⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

56

 

Contact                    Legal Notice                    Personal Data