Alexis de Colnet Doctorant
Coordonnées
- poste 15 80 09
-
UFR des Sciences Jean Perrin
Rue Jean Souvraz SP 18
62307 Lens Cedex
France
- Diplôme(s) en cours ou obtenu(s) en étant au CRIL
Publications
Articles de conférences internationales
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]