Solver submission of riss 1.0 to the SAT Competition 2011

From International Center for Computational Logic
Toggle side column

Solver submission of riss 1.0 to the SAT Competition 2011

Norbert MantheyNorbert Manthey
Norbert Manthey
Solver submission of riss 1.0 to the SAT Competition 2011
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
@techreport{M2011,
  author      = {Norbert Manthey},
  title       = {Solver submission of riss 1.0 to the {SAT} Competition 2011},
  institution = {TU Dresden, Knowledge Representation and Reasoning},
  year        = {2011}
}