Browse wiki
From International Center for Computational Logic
@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}
}
author = {Norbert Manthey},
title = {Solver submission of riss 1.0 to the {SAT} Competition 2011},
institution = {TU Dresden, Knowledge Representation and Reasoning},
year = {2011}
}
Manthey +
Norbert +
TU Dresden, Knowledge Representation and Reasoning +
Norbert Manthey<br /> '''[[WVPub59|Solver submission of riss 1.0 to the SAT Competition 2011]] … Norbert Manthey<br /> '''[[WVPub59|Solver submission of riss 1.0 to the SAT Competition 2011]]''' <br />__NOTOC__Technical Report, ''TU Dresden, Knowledge Representation and Reasoning'', 2011<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub59|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Manthey:11:SATCompetition.pdf|Download]]Media:Manthey:11:SATCompetition.pdf|Download]] +
Norbert Manthey<br /> '''[[WVPub59/en|Solver submission of riss 1.0 to the SAT Competition 2011]] … Norbert Manthey<br /> '''[[WVPub59/en|Solver submission of riss 1.0 to the SAT Competition 2011]]''' <br />__NOTOC__Technical Report, ''TU Dresden, Knowledge Representation and Reasoning'', 2011<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub59|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Manthey:11:SATCompetition.pdf|Download]]Media:Manthey:11:SATCompetition.pdf|Download]] +
Display title of"Display title of" is a predefined property that can assign a distinct display title to an entity and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
Solver submission of riss 1.0 to the SAT Competition 2011 +
Modification date"Zuletzt geändert <span style="font-size:small;">(Modification date)</span>" is a predefined property that corresponds to the date of the last modification of a subject and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
13. April 2015, 13:07:35 +
Has query"Hat Abfrage <span style="font-size:small;">(Has query)</span>" is a predefined property that represents meta information (in form of a <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">subobject</a>) about individual queries and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
Solver submission of riss 1.0 to the SAT Competition 2011 +, Solver submission of riss 1.0 to the SAT Competition 2011 +, Solver submission of riss 1.0 to the SAT Competition 2011 +, Solver submission of riss 1.0 to the SAT Competition 2011 + and Solver submission of riss 1.0 to the SAT Competition 2011 +
