Riss 4.27 BlackBox

Enrique M. AlfonsoEnrique M. Alfonso, Norbert MantheyNorbert Manthey

Enrique M. Alfonso, Norbert Manthey
Riss 4.27 BlackBox
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 68-69, 2014. University of Helsinki, Helsinki, Finland

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{AM2014,
  author    = {Enrique M. Alfonso and Norbert Manthey},
  title     = {Riss 4.27 {BlackBox}},
  editor    = {Anton Belov and Daniel Diepold and Marijn {J.H.} Heule and Matti
               J{\"{a}}rvisalo},
  booktitle = {Proceedings of {SAT} Competition 2014},
  series    = {Department of Computer Science Series of Publications B},
  volume    = {B-2014-2},
  publisher = {University of Helsinki, Helsinki, Finland},
  year      = {2014},
  pages     = {68-69}
}