Alexis De Colnet | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/alexis-de-colnet/Alexis De ColnetHugo Blox Builder (https://hugoblox.com)en-usThu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngAlexis De Colnethttps://ac.tuwien.ac.at/team/alexis-de-colnet/LLM-Guided Semantic Vtrees for SDD Compilationhttps://ac.tuwien.ac.at/publication/llm-guided-semantic-vtrees-for-sdd-compilation/Thu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/publication/llm-guided-semantic-vtrees-for-sdd-compilation/OBDDs, SDDs, and Circuits of Bounded Width: Completeness Mattershttps://ac.tuwien.ac.at/publication/obdds-sdds-and-circuits-of-bounded-width-completeness-matters/Thu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/publication/obdds-sdds-and-circuits-of-bounded-width-completeness-matters/ASP-QRAT: A Conditionally Optimal Dual Proof System for ASPhttps://ac.tuwien.ac.at/publication/asp-qrat-a-conditionally-optimal-dual-proof-system-for-asp/Mon, 01 Jan 2024 00:00:00 +0000https://ac.tuwien.ac.at/publication/asp-qrat-a-conditionally-optimal-dual-proof-system-for-asp/Compilation and Fast Model Counting beyond CNFhttps://ac.tuwien.ac.at/publication/compilation-and-fast-model-counting-beyond-cnf/Mon, 01 Jan 2024 00:00:00 +0000https://ac.tuwien.ac.at/publication/compilation-and-fast-model-counting-beyond-cnf/Hardness of Random Reordered Encodings of Parity for Resolution and CDCLhttps://ac.tuwien.ac.at/publication/hardness-of-random-reordered-encodings-of-parity-for-resolution-and-cdcl/Mon, 01 Jan 2024 00:00:00 +0000https://ac.tuwien.ac.at/publication/hardness-of-random-reordered-encodings-of-parity-for-resolution-and-cdcl/