Too Many Rooks

PublikationenPublications

• Nach AutorBy Author
  • Norbert MantheyNorbert Manthey
  • Peter SteinkePeter Steinke
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Too Many Rooks

Norbert MantheyNorbert Manthey,  Peter SteinkePeter Steinke

Norbert Manthey, Peter Steinke
Too Many Rooks
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, 97-98, 2014. University of Helsinki, Helsinki, Finland

• Details
• Bibtex

• Forschungsgruppe:Research Group: Wissensverarbeitung

@inproceedings{MS2014,
  author    = {Norbert Manthey and Peter Steinke},
  title     = {Too Many Rooks},
  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     = {97-98}
}