Conference Papers
Year :
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
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