Quantifier-Free Bit-Vector Formulas with Binary Encoding: Benchmark Description (bibtex)
by Gergely Kovásznai, Andreas Fröhlich, Armin Biere
Reference:
Quantifier-Free Bit-Vector Formulas with Binary Encoding: Benchmark DescriptionGergely Kovásznai, Andreas Fröhlich, Armin BiereProceedings of the SAT Competition 2013, aff. to SAT 2013, pages 107-108, 8-12 July 2013.
Bibtex Entry:
@inproceedings{KovasznaiFrohlichBiereSC2013,
  author    = {Gergely Kov\'asznai and Andreas Fr\"ohlich and Armin Biere},
  title     = {Quantifier-Free Bit-Vector Formulas with Binary Encoding: Benchmark Description},
  booktitle = {Proceedings of the SAT Competition 2013, aff. to SAT 2013},
  address   = {Helsinki, Finland},
  year      = {2013},
  month     = {8-12 July},
  volume    = {B-2013-1},
  pages     = {107-108},
  URL       = {https://helda.helsinki.fi/bitstream/handle/10138/40026/sc2013_proceedings.pdf}
}
Powered by bibtexbrowser