Stefan Mengel

Identifiers

• name variant Stefan Mengel 0.60 · backfill

Papers (20)

1. A canonical generalization of OBDD cs.AI · 2026 · author #3
2. Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity cs.LO · 2024 · author #2
3. Knowledge Compilation, Width and Quantification cs.CC · 2018 · author #2
4. QBF as an Alternative to Courcelle's Theorem cs.AI · 2018 · author #2
5. On tractable query evaluation for SPARQL cs.CC · 2017 · author #1
6. Enumeration on Trees under Relabelings cs.DB · 2017 · author #3
7. On the relative power of reduction notions in arithmetic circuit complexity cs.CC · 2016 · author #2
8. Lower Bounds on the mim-width of Some Graph Classes cs.DM · 2016 · author #1
9. Parameterized Compilation Lower Bounds for Restricted CNF-formulas cs.AI · 2016 · author #1
10. Counting Answers to Existential Positive Queries: A Complexity Classification cs.DB · 2016 · author #2
11. The Logic of Counting Query Answers cs.LO · 2015 · author #2
12. A Strongly Exponential Separation of DNNFs from CNF Formulas cs.CC · 2014 · author #3
13. A Trichotomy in the Complexity of Counting Answers to Conjunctive Queries cs.CC · 2014 · author #2
14. Understanding model counting for $\beta$-acyclic CNF-formulas cs.CC · 2014 · author #3
15. Hypergraph Acyclicity and Propositional Model Counting cs.CC · 2014 · author #3
16. Structural Tractability of Counting of Solutions to Conjunctive Queries cs.LO · 2013 · author #2
17. Arithmetic Branching Programs with Memory cs.CC · 2013 · author #1
18. The arithmetic complexity of tensor contractions cs.CC · 2012 · author #3
19. Monomials in arithmetic circuits: Complete problems in the counting hierarchy cs.CC · 2011 · author #3
20. The Complexity of Weighted Counting for Acyclic Conjunctive Queries cs.CC · 2011 · author #2

Mentions

• 1303.2059 #2 · backfill · confidence 0.70 Stefan Mengel
• 1303.1969 #1 · backfill · confidence 0.70 Stefan Mengel
• 1209.4865 #3 · backfill · confidence 0.70 Stefan Mengel
• 1110.6271 #3 · backfill · confidence 0.70 Stefan Mengel
• 1110.4201 #2 · backfill · confidence 0.70 Stefan Mengel

Frequent Coauthors

• Florent Capelli 6 shared papers
• Arnaud Durand 4 shared papers
• Hubie Chen 4 shared papers
• Antoine Amarilli 1 shared papers
• Christian Ikenmeyer 1 shared papers
• Friedrich Slivovsky 1 shared papers
• Guillaume Malod 1 shared papers
• Guy Van den Broeck 1 shared papers
• Herv\'e Fournier 1 shared papers
• Johann Brault-Baron 1 shared papers
• Mart\'in Mu\~noz 1 shared papers
• Michael Lampis 1 shared papers
• Pierre Bourhis 1 shared papers
• Sebastian Skritek 1 shared papers
• Simone Bova 1 shared papers
• Valia Mitsou 1 shared papers
• YooJung Choi 1 shared papers