Stefan Mengel
7 papers
· 2016–2025
· 3 conferences
· across top CS/AI conferences
Achievements
π£
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