SparrowToRiss

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

SparrowToRiss

Adrian BalintAdrian Balint,  Norbert MantheyNorbert Manthey
SparrowToRiss


Adrian Balint, Norbert Manthey
SparrowToRiss
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, 77, 2014. University of Helsinki, Helsinki, Finland
@inproceedings{BM2014,
  author    = {Adrian Balint and Norbert Manthey},
  title     = {SparrowToRiss},
  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     = {77}
}