Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
WVPub252
Author Norbert Manthey +
BibTex
@techreport{M2012,
  author      = {Norbert Manthey},
  title       = {Solver Description of {RISS} 2.0 and {PRISS} 2.0},
  institution = {TU Dresden, Knowledge Representation and Reasoning},
  year        = {2012}
}
Bibtype Techreport  +
Download Manthey:12:SATChallenge.pdf  +
ErsterAutorNachname Manthey  +
ErsterAutorVorname Norbert  +
Forschungsgruppe Wissensverarbeitung +
Institution TU Dresden, Knowledge Representation and Reasoning  +
Publication text Norbert Manthey<br /> '''[[WVPub252|
Norbert Manthey<br /> '''[[WVPub252|Solver Description of RISS 2.0 and PRISS 2.0]]''' <br />__NOTOC__Technical Report, ''TU Dresden, Knowledge Representation and Reasoning'', 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[WVPub252|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Manthey:12:SATChallenge.pdf|Download]]
dia:Manthey:12:SATChallenge.pdf|Download]]  +
Publication text en Norbert Manthey<br /> '''[[WVPub252/
Norbert Manthey<br /> '''[[WVPub252/en|Solver Description of RISS 2.0 and PRISS 2.0]]''' <br />__NOTOC__Technical Report, ''TU Dresden, Knowledge Representation and Reasoning'', 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[WVPub252|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Manthey:12:SATChallenge.pdf|Download]]
dia:Manthey:12:SATChallenge.pdf|Download]]  +
Reviewed 0  +
Title Solver Description of RISS 2.0 and PRISS 2.0  +
Type techreport  +
Year 2012  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
WVPub252 + , WVPub252 + , WVPub252 + , WVPub252 + , WVPub252 +
Kategorien Techreport , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
13 April 2015 13:07:37  +
verstecke Attribute die hierhin verlinken 
WVPub252/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.