Skip to Main content Skip to Navigation
Conference papers

Understanding the complexity of #SAT using knowledge compilation

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

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⟩

Share

Metrics

Record views

56