Stefan Mengel

1. Subtractive Mixture Models via Squaring: Representation and Learning
   2023/10/01 by Lorenzo Loconte, Aleksanteri M. Sladek, Aleksanteri Sladek +12 · 2 voices · 9 citations
   Computer Science · #Gaussian Processes and Bayesian Inference #Generative Adversarial Networks and Image Synthesis #Bayesian Methods and Mixture Models
2. A canonical generalization of OBDD
   2026/04/07 by Florent Capelli, YooJung Choi, Stefan Mengel +2 · 6 voices
   #cs.AI #cs.DS
3. A Trichotomy in the Complexity of Counting Answers to Conjunctive Queries
   2014/08/05 by Hubie Chen, Stefan Mengel, Chen, Hubie +1 · 3 citations
   Computer Science · #Advanced Database Systems and Queries #Advanced Graph Theory Research #Computational Complexity (cs.CC) #Data Management and Algorithms #Databases (cs.DB) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
4. Structural Tractability of Counting of Solutions to Conjunctive Queries
   2013/03/08 by Arnaud Durand, Stefan Mengel, Durand, Arnaud +1 · 2 citations
   Computer Science · Mathematics · #Advanced Graph Theory Research #Algorithms and Data Compression #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Markov Chains and Monte Carlo Methods
5. Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability
   2023/11/24 by Hubie Chen, Gianluigi Greco, Chen, Hubie +5 · 2 citations
   Computer Science · #Advanced Database Systems and Queries #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Data Management and Algorithms #Databases (cs.DB) #F.2.2 #FOS: Computer and information sciences #H.2.4
6. Sum of Squares Circuits
   2024/08/21 by Lorenzo Loconte, Loconte, Lorenzo, Stefan Mengel +3 · 2 voices · 3 citations
   Computer Science · #Neural Networks and Applications #Numerical Methods and Algorithms
7. 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