Schaub

Results: 204



#Item
41

Towards embedded Answer Set Solving Torsten Schaub University of Potsdam Torsten Schaub (KRR@UP)

Add to Reading List

Source URL: www.cs.uni-potsdam.de

- Date: 2015-09-01 02:13:19
    42

    On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 8

    Add to Reading List

    Source URL: www.cs.uni-potsdam.de

    - Date: 2009-05-18 15:53:03
      43

      Solution Enumeration for Projected Boolean Search Problems Martin Gebser, Benjamin Kaufmann, and Torsten Schaub? Institut f¨ur Informatik, Universit¨at Potsdam, August-Bebel-Str. 89, DPotsdam, Germany Abstract.

      Add to Reading List

      Source URL: www.cs.uni-potsdam.de

      - Date: 2010-09-08 14:19:25
        44

        Towards Embedded Answer Set Solving Torsten Schaub University of Potsdam Potassco Slide Packages are licensed under a Creative Commons Attribution 3.0 Unported License.

        Add to Reading List

        Source URL: www.cs.uni-potsdam.de

        - Date: 2015-08-03 10:20:44
          45

          Advanced Conflict-Driven Disjunctive Answer Set Solving Martin Gebser and Benjamin Kaufmann and Torsten Schaub∗ Universit¨at Potsdam, Germany Abstract We introduce a new approach to disjunctive ASP

          Add to Reading List

          Source URL: www.cs.uni-potsdam.de

          - Date: 2013-05-10 07:09:25
            46

            Under consideration for publication in Theory and Practice of Logic Programming 1 Multi-threaded ASP Solving with clasp Martin Gebser and Benjamin Kaufmann and Torsten Schaub∗

            Add to Reading List

            Source URL: www.cs.uni-potsdam.de

            - Date: 2012-06-27 10:05:03
              47

              Conflict-Driven Answer Set Enumeration Martin Gebser, Benjamin Kaufmann, Andr´e Neumann, and Torsten Schaub Institut f¨ur Informatik, Universit¨at Potsdam, August-Bebel-Str. 89, DPotsdam, Germany

              Add to Reading List

              Source URL: www.cs.uni-potsdam.de

              - Date: 2007-06-11 04:23:32
                48

                ASP foundations and applications Torsten Schaub Torsten Schaub (KRR@UP) Autumn School@ICLP’16

                Add to Reading List

                Source URL: www.cs.uni-potsdam.de

                - Date: 2016-10-16 09:04:31
                  49

                  clasp: A Conflict-Driven Answer Set Solver Martin Gebser, Benjamin Kaufmann, Andr´e Neumann, and Torsten Schaub Institut f¨ur Informatik, Universit¨at Potsdam, August-Bebel-Str. 89, DPotsdam, Germany Abstract

                  Add to Reading List

                  Source URL: www.cs.uni-potsdam.de

                  - Date: 2007-03-07 07:31:05
                    50

                    The Conflict-Driven Answer Set Solver clasp: Progress Report Martin Gebser, Benjamin Kaufmann, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. We sum

                    Add to Reading List

                    Source URL: www.cs.uni-potsdam.de

                    - Date: 2009-07-06 04:21:06
                      UPDATE