Understanding the complexity of #SAT using knowledge compilation - Archive ouverte HAL Access content directly
Conference Papers Year :

Understanding the complexity of #SAT using knowledge compilation

(1)
1
Florent Capelli

Dates and versions

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

Identifiers

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⟩
18 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More