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