Stefan Mengel

发表

Stefan Mengel, Florent Capelli, 2018, ArXiv.

Pierre Marquis, Stefan Mengel, Daniel Le Berre, 2020, IJCAI.

Gernot Salzer, Stefan Mengel, Miki Hermann, 2015, Theory of Computing Systems.

Jochen Harant, Stefan Mengel, 2009, Discret. Math..

Stefan Mengel, Guillaume Malod, Hervé Fournier, 2012, STACS.

Arnaud Durand, Stefan Mengel, Arnaud Durand, 2013, ICDT '13.

Antoine Amarilli, Stefan Mengel, Pierre Bourhis, 2017, ICALP.

Antoine Amarilli, Stefan Mengel, Matthias Niewerth, 2020, SIGMOD Rec..

Stefan Mengel, Romain Wallon, S. Mengel, 2019, SAT.

Stefan Mengel, Florent Capelli, Johann Brault-Baron, 2014, ArXiv.

Gernot Salzer, Stefan Mengel, Miki Hermann, 2015, ISAAC.

Antoine Amarilli, Stefan Mengel, Pierre Bourhis, 2017, ICDT.

Stefan Mengel, Florent Capelli, F. Capelli, 2019, STACS.

Hubie Chen, Stefan Mengel, Hubie Chen, 2014, ICDT.

Antoine Amarilli, Stefan Mengel, Matthias Niewerth, 2018, PODS.

Friedrich Slivovsky, Stefan Mengel, Simone Bova, 2014, ArXiv.

Gernot Salzer, Stefan Mengel, Miki Hermann, 2016, CSR.

Stefan Mengel, Florent Capelli, Johann Brault-Baron, 2015, STACS.

Arnaud Durand, Stefan Mengel, Florent Capelli, 2012, STACS.

Stefan Mengel, Michael Lampis, Valia Mitsou, 2018, SAT.

Friedrich Slivovsky, Stefan Mengel, Simone Bova, 2016, IJCAI.

Stefan Mengel, S. Mengel, 2016, Discret. Appl. Math..

Stefan Mengel, Alexis de Colnet, 2020, IJCAI.

Antoine Amarilli, Stefan Mengel, Matthias Niewerth, 2019, ICDT.

Stefan Mengel, Christian Ikenmeyer, 2018, Inf. Process. Lett..

Arnaud Durand, Stefan Mengel, Florent Capelli, 2015, Theory of Computing Systems.

Pierre Marquis, Stefan Mengel, Daniel Le Berre, 2018, IJCAI.

Stefan Mengel, Sebastian Skritek, 2017, ArXiv.

Hubie Chen, Stefan Mengel, Hubie Chen, 2015, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Friedrich Slivovsky, Stefan Mengel, Simone Bova, 2015, SAT.

Arnaud Durand, Stefan Mengel, Arnaud Durand, 2011, J. Comput. Syst. Sci..

Gernot Salzer, Stefan Mengel, Miki Hermann, 2016, WALCOM.

Stefan Mengel, Romain Wallon, 2020, J. Artif. Intell. Res..

Stefan Mengel, Guillaume Malod, Hervé Fournier, 2013, computational complexity.

Arnaud Durand, Stefan Mengel, Florent Capelli, 2014, SAT.

Friedrich Slivovsky, Stefan Mengel, 2021, SAT.

Stefan Mengel, Alexis de Colnet, S. Mengel, 2021, SAT.

Stefan Mengel, Alexis de Colnet, 2021, KR.

Karl Bringmann, Stefan Mengel, Nofar Carmeli, 2022, ArXiv.

Antoine Amarilli, Stefan Mengel, Pierre Bourhis, 2017 .