Friedrich-Schiller-Universität Jena, Germany

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
Friedrich-Schiller-Universität Jena, Germany
 

OrgUnit's Publications


Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lanzinger-2024-FPT Approximation of Generalised Hypertree Width for Bound...-vor.pdf.jpgLanzinger, Matthias Paul ; Razgon, Igor FPT Approximation of Generalised Hypertree Width for Bounded Intersection HypergraphsInproceedings Konferenzbeitrag 11-Mar-2024
2Beyersdorff-2023-ACM Transactions on Computational Logic-am.pdf.jpgBeyersdorff, Olaf ; Blinkhorn, Joshua ; Mahajan, Meena ; Peitl, Tomáš Hardness Characterisations and Size-width Lower Bounds for QBF ResolutionArticle Artikel 27-Jan-2023
3Beyersdorff, Olaf ; Blinkhorn, Joshua ; Mahajan, Meena ; Peitl, Tomáš ; Sood, Guarav Hard QBFs for merge resolutionArticle Artikel 2023