Name Card

Full name Familienname, Vorname
Mengel, Stefan
 

Own Publications Eigene Publikationen

Results 1-9 of 9 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Mengel, Stefan ; Slivovsky, Friedrich Proof Complexity of Symbolic QBF ReasoningKonferenzbeitrag Inproceedings 2021
2Mengel, Stefan ; Skritek, Sebastian Characterizing Tractability of Simple Well-Designed Pattern Trees with Projection.Artikel Article 10-Sep-2020
3Behrisch, Mike ; Hermann, Miki ; Mengel, Stefan ; Salzer, Gernot Minimal Distance of Propositional ModelsArtikel Article 2019
4Mengel, Stefan ; Skritek, Sebastian Characterizing Tractability of Simple Well-Designed Pattern Trees with ProjectionKonferenzbeitrag Inproceedings 2019
5Behrisch Mike - 2018 - Minimal Distance of Propositional Models.pdf.jpgBehrisch, Mike ; Hermann, Miki ; Mengel, Stefan ; Salzer, Gernot Minimal Distance of Propositional ModelsArticle Artikel 2018
6Behrisch, Mike ; Hermann, Miki ; Mengel, Stefan ; Salzer, Gernot The Next Whisky BarPräsentation Presentation2016
7Behrisch, Mike ; Salzer, Gernot ; Hermann, Miki ; Mengel, Stefan Approximating closest homomorphisms into Boolean CSP-templatesPräsentation Presentation2016
8Bova, Simone Maria ; Capelli, Florent ; Mengel, Stefan ; Slivovsky, Friedrich Knowledge Compilation Meets Communication ComplexityKonferenzbeitrag Inproceedings 2016
9Bova, Simone Maria ; Capelli, Florent ; Mengel, Stefan ; Slivovsky, Friedrich On Compiling CNFs into Structured Deterministic DNNFsKonferenzbeitrag Inproceedings 2015