Solver Description of RISS 2.0 and PRISS 2.0

Aus International Center for Computational Logic
Version vom 13. April 2015, 15:07 Uhr von Marcel Lippmann (Diskussion | Beiträge)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche
Toggle side column

Solver Description of RISS 2.0 and PRISS 2.0

Norbert MantheyNorbert Manthey
Norbert Manthey
Solver Description of RISS 2.0 and PRISS 2.0
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2012
@techreport{M2012,
  author      = {Norbert Manthey},
  title       = {Solver Description of {RISS} 2.0 and {PRISS} 2.0},
  institution = {TU Dresden, Knowledge Representation and Reasoning},
  year        = {2012}
}