Alexis de Colnet

Venues

Frequent coauthors

Papers

1. From Tensor Networks to Tractable Circuits, and Back
   KR 2026 ·

   Arend-Jan Quist

   DBLP profile ↗ORCID search ↗
2. An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs
   ICDT 2025 ·

   Kuldeep S. Meel

   DBLP profile ↗ORCID search ↗
3. ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP
   KR 2024 ·

   Leroy Chew

   DBLP profile ↗ORCID search ↗
4. Compilation and Fast Model Counting beyond CNF
   IJCAI 2024 · Alexis de Colnet
5. Hardness of Random Reordered Encodings of Parity for Resolution and CDCL
   AAAI 2024 ·

   Leroy Chew

   DBLP profile ↗ORCID search ↗