Concepedia

Stefan Mengel

SM

Statistics

Publications

7

Citations

126

H-Index

7

Active since

2013

Affiliations

Centre de Recherche en Informatique(Current)

Université Paris Cité

Institut de Mathématiques de Jussieu-Paris Rive Gauche

Centre National de la Recherche Scientifique

Technische Universität Berlin

Stefan Mengel is an author at Centre de Recherche en Informatique specializing in engineering, computational complexity, and automated reasoning.

Top concepts

EngineeringComputational ComplexityComputer ScienceAutomated ReasoningKnowledge CompilationProof ComplexityDiscrete MathematicsCombinatorial OptimizationFormal MethodsCircuit Complexity

Publications per year

2013–2017

7

Publications

7

Knowledge Compilation Meets Communication Complexity

Simone Bova, Florent Capelli, Stefan Mengel et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2016 · 36 citations

Computational Logic, Distributed Knowledge, Knowledge Representation +15

A Circuit-Based Approach to Efficient Enumeration

Antoine Amarilli, Pierre Bourhis, Louis Jachiet et al. · arXiv (Cornell University) · 2017 · 22 citations · Full text

Circuit Complexity, Computational Complexity Theory, Engineering +18

Lower bounds on the mim-width of some graph classes

Stefan Mengel · Discrete Applied Mathematics · 2017 · 17 citations · Full text

Mathematical Programming, Graph Minor, Engineering +7

Expander CNFs have Exponential DNNF Size.

Simone Bova, Florent Capelli, Stefan Mengel et al. · 2014 · 15 citations

Circuit Complexity, Quantum Science, Exponential Increase +14

The complexity of weighted counting for acyclic conjunctive queries

Arnaud Durand, Stefan Mengel · Journal of Computer and System Sciences · 2013 · 13 citations

Weighted Counting, Engineering, Automated Reasoning +5

1–5 of 7