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.

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.