riss 2010 Solver Description

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

riss 2010 Solver Description

N. MantheyN. Manthey

• Download

N. Manthey
riss 2010 Solver Description
Technical Report, TU Dresden, volume Technical Report 2010-02, 2010. Technical Report

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{M2010,
  author      = {N. Manthey},
  title       = {riss 2010 Solver Description},
  institution = {TU Dresden},
  year        = {2010}
}