Alexis de Colnet

Address:
Alexis de Colnet
Technische Universität Wien
Institute of Logic and Computation
Favoritenstraße 9–11, E192-01
1040 Wien
Austria

Room: HD0423
Phone: +43(1)58801–192150
Email: decolnet@ac.tuwien.ac.at
Web: https://alexisdec.github.io/

Research interests

  • Knowledge Compilation
  • Boolean Functions Analysis
  • Proof Systems

Publications

My DBLP entry.

3 results
2024
[3]ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP
, ,
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, pages 253–263, 8 2024.
[bibtex] [pdf] [doi]
[2]Compilation and Fast Model Counting beyond CNF
, ,
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24 (Kate Larson, ed.), pages 3315–3323, 8 2024, International Joint Conferences on Artificial Intelligence Organization.
Note: Main Track
[bibtex] [doi]
[1]Hardness of Random Reordered Encodings of Parity for Resolution and CDCL
, , ,
AAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy, Sriraam Natarajan, eds.), pages 7978–7986, 2024, AAAI Press.
[bibtex] [pdf] [doi]