EPR Encodings of Bit-Vector Problems Even With Quantifiers (bibtex)
by Gergely Kovásznai, Andreas Fröhlich, Armin Biere
Reference:
EPR Encodings of Bit-Vector Problems Even With QuantifiersGergely Kovásznai, Andreas Fröhlich, Armin BiereJuly 2014, Invited talk at the 1st International Workshop on Quantification (QUANTIFY 2014).
Bibtex Entry:
@misc{KovasznaiFrohlichBiereQUANTIFY2014,
  author    = {Gergely Kov\'asznai and Andreas Fr\"ohlich and Armin Biere},
  title     = {EPR Encodings of Bit-Vector Problems Even With Quantifiers},
  howpublished = {Invited talk at the 1st International Workshop on Quantification (QUANTIFY 2014)},
  address   = {Vienna, Austria},
  year      = {2014},
  month     = {July},
  URL       = {https://sites.google.com/site/gkovasz/research/publications}
}
Powered by bibtexbrowser