Publications

Articles de conférences internationales

2021 Stefan Mengel, Alexis de Colnet, Characterizing Tseitin-Formulas with Short Regular Resolution Refutations in 24th International Conference Theory and Applications of Satisfiability Testing - SAT 2021,Springer International Publishing, vol. 12831, pp. 116-133, 2021.

2021 Alexis de Colnet, Stefan Mengel, A Compilation of Succinctness Results for Arithmetic Circuits in 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021,2021.

2020 Alexis de Colnet, Stefan Mengel, Lower Bounds for Approximate Knowledge Compilation in Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20},International Joint Conferences on Artificial Intelligence Organization, pp. 1834-1840, 2020.

2020 Alexis de Colnet, A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints in Theory and Applications of Satisfiability Testing – SAT 2020,2020.