Riss 4.27

From International Center for Computational Logic

Toggle side column
Riss 4.27


Norbert Manthey
Riss 4.27
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, 65-67, 2014. University of Helsinki, Helsinki, Finland
@inproceedings{M2014,
  author    = {Norbert Manthey},
  title     = {Riss 4.27},
  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     = {65-67}
}