Stefan Mengel
7 papers · 2016–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π§ Keyword Pioneer π Conference Polyglot (3) π Academic Marathon (9) π Cross-Pollinator (15)
π
Renaissance Researcher
(6)
πΊοΈ
Taxonomy Completionist
(10)
π
Interdisciplinary Bridge
π
Keyword Champion
(2)
Conferences
IJCAI (4)
AAAI (2)
ICLR (1)
Top co-authors
Keywords
knowledge compilation
(2)
pseudo-boolean constraint
(2)
circuit complexity
(2)
cardinality constraint
(1)
polynomial time
(1)
generative model
(1)
lower bound
(1)
probabilistic circuit
(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)
approximate compilation
(1)
d-dnnf circuit
(1)
negation normal form
(1)
probabilistic inference
(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