Skip to contents

  1. Andres, Benjamin [Author]; Kaufmann, Benjamin [Author]; Matheis, Oliver [Author]; Schaub, Torsten [Author] ; Benjamin Andres and Benjamin Kaufmann and Oliver Matheis and Torsten Schaub [Contributor]

    Unsatisfiability-based optimization in clasp

    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

  2. Romero, Javier [Author]; Schaub, Torsten [Author]; Wanko, Philipp [Author] ; Javier Romero and Torsten Schaub and Philipp Wanko [Contributor]

    Computing Diverse Optimal Stable Models

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

  3. Gebser, Martin [Author]; Kaminski, Roland [Author]; Kaufmann, Benjamin [Author]; Ostrowski, Max [Author]; Schaub, Torsten [Author]; Wanko, Philipp [Author] ; Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Max Ostrowski and Torsten Schaub and Philipp Wanko [Contributor]

    Theory Solving Made Easy with Clingo 5

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