Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
WVPub144
Author Norbert Manthey + , Marijn J. H. Heule + , Armin Biere +
BibTex
@inproceedings{MHB2012,
  author    = {Norbert Manthey and Marijn J. H. Heule and Armin Biere},
  title     = {Automated Reencoding of Boolean Formulas},
  booktitle = {Proceedings of Haifa Verification Conference 2012},
  year      = {2012}
}
Bibtype Inproceedings  +
Booktitle Proceedings of Haifa Verification Conference 2012  +
ErsterAutorNachname Manthey  +
ErsterAutorVorname Norbert  +
Forschungsgruppe Wissensverarbeitung +
Publication text Norbert Manthey, Marijn J. H. Heule, Armin
Norbert Manthey, Marijn J. H. Heule, Armin Biere<br/> '''[[WVPub144|<b>Automated Reencoding of Boolean Formulas</b>]]''' <br/>__NOTOC__<i>Proceedings of Haifa Verification Conference 2012</i>, 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[WVPub144|Details]]
%;" ></span> [[WVPub144|Details]]  +
Publication text en Norbert Manthey, Marijn J. H. Heule, Armin
Norbert Manthey, Marijn J. H. Heule, Armin Biere<br/> '''[[WVPub144/en|<b>Automated Reencoding of Boolean Formulas</b>]]''' <br/>__NOTOC__<i>Proceedings of Haifa Verification Conference 2012</i>, 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[WVPub144|Details]]
%;" ></span> [[WVPub144|Details]]  +
Referiert 1  +
Title Automated Reencoding of Boolean Formulas  +
To appear 0  +
Type inproceedings  +
Year 2012  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
WVPub144 + , WVPub144 + , WVPub144 + , WVPub144 + , WVPub144 + , WVPub144 + , WVPub144 +
Kategorien Inproceedings , Publications without download , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
13 April 2015 13:07:35  +
verstecke Attribute die hierhin verlinken 
WVPub144/en + Weiterleitungsseite
 

 

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