Understanding the complexity of #SAT using knowledge compilation - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Understanding the complexity of #SAT using knowledge compilation

Florent Capelli

Dates et versions

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

Identifiants

Citer

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 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More