Alexis de Colnet - PhD student
Kontaktdaten
- poste 15 80 09
- decolnet@cril.fr
-
- fac
UFR des Sciences Jean Perrin
Rue Jean Souvraz SP 18
62307 Lens Cedex
France
Forschungsachsen
- Constraints
- Wissensrepräsentationstheorie und formales Schliessen
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.