Alexis de Colnet PhD student
Personal Data
- poste 15 80 09
-
UFR des Sciences Jean Perrin
Rue Jean Souvraz SP 18
62307 Lens Cedex
France
- Degree(s) prepared or obtained while being at CRIL
- PhD thesis : Parameterized and fine-grained knowledge compilation
Publications
International conferences
2020 Alexis de Colnet, A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints in 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT’20),pp. 312-321, juillet 2020. [Download]
2020 Alexis de Colnet, Stefan Mengel, Lower Bounds for Approximate Knowledge Compilation. in 29th International Joint Conference in Artificial Intelligence (IJCAI’20),pp. 1834-1840, juillet 2020. [Download]