Communication Dans Un Congrès
Année : 2017
Florent Capelli : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01836195
Soumis le : jeudi 12 juillet 2018-10:26:22
Dernière modification le : jeudi 12 juillet 2018-10:26:22
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