Alexis de Colnet

6 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

KR ×2 AAAI ×1 ICDT ×1 IJCAI ×1 POPL ×1

Frequent coauthors

Stefan Szeider

×3

Kuldeep S. Meel

×2

Leroy Chew

×2

Umang Mathur

×1

Arend-Jan Quist

×1

Marc Farreras Bartra

×1

John van de Wetering

×1

Alfons Laarman

×1

Tianwei Zhang

×1

Friedrich Slivovsky

×1

Papers

Counting and Sampling Traces in Regular Languages
POPL 2026 · Alexis de Colnet,
Kuldeep S. Meel
,
Umang Mathur
From Tensor Networks to Tractable Circuits, and Back
KR 2026 ·
Arend-Jan Quist
,
Marc Farreras Bartra
, Alexis de Colnet,
John van de Wetering
,
Alfons Laarman
An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs
ICDT 2025 ·
Kuldeep S. Meel
, Alexis de Colnet
ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP
KR 2024 ·
Leroy Chew
, Alexis de Colnet,
Stefan Szeider
Compilation and Fast Model Counting beyond CNF
IJCAI 2024 · Alexis de Colnet,
Stefan Szeider
,
Tianwei Zhang
Hardness of Random Reordered Encodings of Parity for Resolution and CDCL
AAAI 2024 ·
Leroy Chew
, Alexis de Colnet,
Friedrich Slivovsky
,
Stefan Szeider