Solver submission of riss 1.0 to the SAT Competition 2011
Aus International Center for Computational Logic
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
Solver submission of riss 1.0 to the SAT Competition 2011
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@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}
}
