Skip to contents

  1. Künnemann, Marvin [Author]; Mazowiecki, Filip [Author]; Schütze, Lia [Author]; Sinclair-Banks, Henry [Author]; Węgrzycki, Karol [Author] ; Marvin Künnemann and Filip Mazowiecki and Lia Schütze and Henry Sinclair-Banks and Karol Węgrzycki [Contributor]

    Coverability in VASS Revisited: Improving Rackoff’s Bound to Obtain Conditional Optimality

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  2. Idziak, Paweł M. [Author]; Kawałek, Piotr [Author]; Krzaczkowski, Jacek [Author]; Weiß, Armin [Author] ; Paweł M. Idziak and Piotr Kawałek and Jacek Krzaczkowski and Armin Weiß [Contributor]

    Satisfiability Problems for Finite Groups

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  3. Fomin, Fedor V. [Author]; Lokshtanov, Daniel [Author]; Mihajlin, Ivan [Author]; Saurabh, Saket [Author]; Zehavi, Meirav [Author] ; Fedor V. Fomin and Daniel Lokshtanov and Ivan Mihajlin and Saket Saurabh and Meirav Zehavi [Contributor]

    Computation of Hadwiger Number and Related Contraction Problems: Tight Lower Bounds

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  4. Jacob, Ashwin [Author]; Panolan, Fahad [Author]; Raman, Venkatesh [Author]; Sahlot, Vibha [Author] ; Ashwin Jacob and Fahad Panolan and Venkatesh Raman and Vibha Sahlot [Contributor]

    Structural Parameterizations with Modulator Oblivion

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  5. van Geffen, Bas A. M. [Author]; Jansen, Bart M. P. [Author]; de Kroon, Arnoud A. W. M. [Author]; Morel, Rolf [Author] ; Bas A. M. van Geffen and Bart M. P. Jansen and Arnoud A. W. M. de Kroon and Rolf Morel [Contributor]

    Lower Bounds for Dynamic Programming on Planar Graphs of Bounded Cutwidth

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  6. Bringmann, Karl [Author]; Kisfaludi-Bak, Sándor [Author]; Pilipczuk, Michał [Author]; van Leeuwen, Erik Jan [Author] ; Karl Bringmann and Sándor Kisfaludi-Bak and Michał Pilipczuk and Erik Jan van Leeuwen [Contributor]

    On Geometric Set Cover for Orthants

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  7. Chen, Lin [Author]; Marx, Dániel [Author]; Ye, Deshi [Author]; Zhang, Guochuan [Author] ; Lin Chen and Dániel Marx and Deshi Ye and Guochuan Zhang [Contributor]

    Parameterized and Approximation Results for Scheduling with a Low Rank Processing Time Matrix

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017