Stefan Mengel
Orcid: 0000000313868784Affiliations:
 CNRS, CRIL, Lens, France
 École Polytechnique, LIX, Palaiseau, France
 TU Berlin, Department of Mathematics, Germany
 University of Paderborn, Institute of Mathematics, Germany
According to our database^{1},
Stefan Mengel
authored at least 61 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on orcid.org

on dl.acm.org
On csauthors.net:
Bibliography
2024
An extended knowledge compilation map for conditional preference statementsbased and generalized additive utilitiesbased languages.
Ann. Math. Artif. Intell., October, 2024
Representation, Provenance, and Explanations in Database Theory and Logic (Dagstuhl Seminar 24032).
Dagstuhl Reports, 2024
CoRR, 2024
CoRR, 2024
Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024
Proceedings of the Machine Learning and Knowledge Discovery in Databases. Research Track, 2024
Proceedings of the Twelfth International Conference on Learning Representations, 2024
Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity.
Proceedings of the 27th International Conference on Database Theory, 2024
Proceedings of the 27th International Conference on Database Theory, 2024
2023
J. Artif. Intell. Res., 2023
CoRR, 2023
Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023
2022
J. Satisf. Boolean Model. Comput., 2022
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022
Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022
Proceedings of the ThirtySixth AAAI Conference on Artificial Intelligence, 2022
2021
Characterizing Tractability of Simple WellDesigned Pattern Trees with Projection.
Theory Comput. Syst., 2021
CoRR, 2021
Proceedings of the Theory and Applications of Satisfiability Testing  SAT 2021, 2021
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
, 2021
2020
SIGMOD Rec., 2020
J. Artif. Intell. Res., 2020
Proceedings of the TwentyNinth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the TwentyNinth International Joint Conference on Artificial Intelligence, 2020
2019
Theory Comput. Syst., 2019
Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science, 2019
Proceedings of the 38th ACM SIGMODSIGACTSIGAI Symposium on Principles of Database Systems, 2019
2018
Inf. Process. Lett., 2018
Discret. Appl. Math., 2018
CoRR, 2018
Proceedings of the Theory and Applications of Satisfiability Testing  SAT 2018, 2018
Proceedings of the TwentySeventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the 21st International Conference on Database Theory, 2018
2017
CoRR, 2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017
2016
Theory Comput. Syst., 2016
CoRR, 2016
Proceedings of the WALCOM: Algorithms and Computation  10th International Workshop, 2016
Proceedings of the Theory and Applications of Satisfiability Testing  SAT 2016, 2016
Proceedings of the 35th ACM SIGMODSIGACTSIGAI Symposium on Principles of Database Systems, 2016
Proceedings of the TwentyFifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Computer Science  Theory and Applications, 2016
2015
Theory Comput. Syst., 2015
CoRR, 2015
Comput. Complex., 2015
Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, 2015
Proceedings of the Theory and Applications of Satisfiability Testing  SAT 2015, 2015
Proceedings of the Algorithms and Computation  26th International Symposium, 2015
Proceedings of the 18th International Conference on Database Theory, 2015
2014
J. Comput. Syst. Sci., 2014
CoRR, 2014
CoRR, 2014
Proceedings of the Theory and Applications of Satisfiability Testing  SAT 2014, 2014
2013
PhD thesis, 2013
Proceedings of the 30th International Symposium on Theoretical Aspects of Computer Science, 2013
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013
2011
On Polynomials Defined by Acyclic Conjunctive Queries and Weighted Counting Problems
CoRR, 2011
Characterizing Arithmetic Circuit Classes by Constraint Satisfaction Problems  (Extended Abstract).
Proceedings of the Automata, Languages and Programming  38th International Colloquium, 2011
2009
Discret. Math., 2009