Skip to contents

  1. Nguyen, Van-Hau [Author] ; Technische Universität Dresden

    SAT encodings of finite CSPs

    Books
    Close

    Bookmarks

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

    Dresden, [2015?]

  2. Biere, Armin [Editor]; Heule, Marijn H. J. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor]

    Handbook of satisfiability / part 2 - [Second edition]

    Books
    Close

    Bookmarks

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

    Amsterdam; Berlin; Washington, DC: IOS Press, [2021]

    Published in: Handbook of satisfiability / edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria) ; 2.2021 - Frontiers in artificial intelligence and applications ; 336,2.2021

  3. Biere, Armin [Editor]; Heule, Marijn H. J. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor]

    Handbook of satisfiability / part 1 - [second edition]

    Books
    Close

    Bookmarks

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

    Amsterdam; Berlin; Washington, DC: IOS Press, [2021]

    Published in: Handbook of satisfiability / edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria) ; 1.2021 - Frontiers in artificial intelligence and applications ; 336,1.2021