Publications

International conferences

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, A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints in Theory and Applications of Satisfiability Testing – SAT 2020,2020.

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.