Skip to contents

  1. Jonsson, Peter [Author]; Lagerkvist, Victor [Author]; Ordyniak, Sebastian [Author] ; Peter Jonsson and Victor Lagerkvist and Sebastian Ordyniak [Contributor]

    Reasoning Short Cuts in Infinite Domain Constraint Satisfaction: Algorithms and Lower Bounds for Backdoors

    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, 2021

  2. Bulatov, Andrei A. [Author]; Dyer, Martin [Author]; Goldberg, Leslie Ann [Author]; Jerrum, Mark [Author] ; Andrei A. Bulatov and Martin Dyer and Leslie Ann Goldberg and Mark Jerrum [Contributor]

    Log-supermodular functions, functional clones and counting CSPs

    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, 2012

  3. Galanis, Andreas [Author]; Goldberg, Leslie Ann [Author]; Yang, Kuan [Author] ; Andreas Galanis and Leslie Ann Goldberg and Kuan Yang [Contributor]

    Approximating Partition Functions of Bounded-Degree Boolean Counting Constraint Satisfaction Problems

    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

  4. Bodirsky, Manuel [Author]; Mamino, Marcello [Author]; Viola, Caterina [Author] ; Manuel Bodirsky and Marcello Mamino and Caterina Viola [Contributor]

    Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains

    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, 2018