Stefan Mengel
7 papers · 2016–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (12) π Keyword Champion (2)
π
Trend Setter
Top co-authors
Research topics
Artificial Intelligence
(3)
Machine Learning
(3)
Knowledge & Reasoning
(2)
Mathematics & Optimization
(2)
Bayesian & Probabilistic Β· Artificial Intelligence
(2)
Optimization
(2)
Optimization & Theory
(2)
Representation
(2)
Computer Science
(1)
Deep Learning
(1)
Bayesian & Probabilistic Β· Machine Learning
(1)
Core AI
(1)
Core Methods
(1)
Foundations
(1)
Models
(1)
Keywords
pseudo-boolean constraint
(2)
circuit complexity
(2)
probabilistic circuit
(2)
knowledge compilation
(2)
cardinality constraint
(1)
expressive power
(1)
polynomial time
(1)
generative model
(1)
mixture model
(1)
lower bound
(1)
cutting plane
(1)
distribution estimation
(1)
propositional logic
(1)
clause learning
(1)
proof complexity
(1)
constraint learning
(1)
sum of square
(1)
exponential lower bound
(1)
ddnnf circuit
(1)
approximate compilation
(1)
Papers
Sum of Squares Circuits
AAAI 2025
Subtractive Mixture Models via Squaring: Representation and Learning
ICLR 2024
Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation
AAAI 2022
Lower Bounds for Approximate Knowledge Compilation
IJCAI 2020
On Irrelevant Literals in Pseudo-Boolean Constraint Learning
IJCAI 2020
Pseudo-Boolean Constraints from a Knowledge Representation Perspective
IJCAI 2018
Knowledge Compilation Meets Communication Complexity
IJCAI 2016