Solver submission of riss 1.0 to the SAT Competition 2011

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
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}
}