de Colnet, Alexis

1. #CFG and #DNNF admit FPRAS
   2024/06/26 by Meel, Kuldeep S., de Colnet, Alexis · 2 citations
   #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences
2. A Compilation of Succinctness Results for Arithmetic Circuits
   2021/10/25 by Alexis de Colnet, de Colnet, Alexis, Stefan Mengel +1 · 1 citation
   Computer Science · #Bayesian Modeling and Causal Inference #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning and Algorithms
3. An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs
   2024/06/24 by Meel, Kuldeep S., de Colnet, Alexis · 2 citations
   #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences