iDQ: Instantiation-Based DQBF Solving (bibtex)
by Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith
Reference:
iDQ: Instantiation-Based DQBF SolvingAndreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut VeithProceedings of the 5th International Workshop on Pragmatics of SAT (POS 2014), aff. to SAT 2014, volume 27 of EPiC Series, pages 103-116, July 2014.
Bibtex Entry:
@inproceedings{FrohlichKovasznaiBiereVeithPOS2014,
  author    = {Andreas Fr\"ohlich and Gergely Kov\'asznai and Armin Biere and Helmut Veith},
  title     = {{iDQ}: Instantiation-Based {DQBF} Solving},
  booktitle = {Proceedings of the 5th International Workshop on Pragmatics of SAT (POS 2014), aff. to SAT 2014},
  series    = {EPiC Series},
  volume    = {27},
  pages     = {103-116},
  address   = {Vienna, Austria},
  year      = {2014},
  month     = {July},
  URL       = {http://easychair.org/publications/?page=2037484173}
}
Powered by bibtexbrowser