Understanding the complexity of #SAT using knowledge compilation

Florent Capelli

doi:10.1109/LICS.2017.8005121

Conference Papers Year :

Understanding the complexity of #SAT using knowledge compilation

(1)

1

Florent Capelli

Function : Author
PersonId : 20604
IdHAL : florentcapelli
ORCID : 0000-0002-2842-8223
IdRef : 233183213

Birkbeck College [University of London]

Domains

Computer Science [cs] Computer Science [cs] Artificial Intelligence [cs.AI] Computer Science [cs] Computational Complexity [cs.CC]

Florent Capelli : Connect in order to contact the contributor

https://hal.inria.fr/hal-01836195

Submitted on : Thursday, July 12, 2018-10:26:22 AM

Last modification on : Thursday, July 12, 2018-10:26:22 AM

Dates and versions

hal-01836195 , version 1 (12-07-2018)

Identifiers

HAL Id : hal-01836195 , version 1
DOI : 10.1109/LICS.2017.8005121

Cite

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⟩

Understanding the complexity of #SAT using knowledge compilation

Domains

Dates and versions

Identifiers

Cite

Export

Altmetric

Share