Turbo-Charging Lemmas on Demand with Don't Care Reasoning (bibtex)
by Mathias Preiner Aina Niemetz, Armin Biere
Reference:
Turbo-Charging Lemmas on Demand with Don't Care ReasoningMathias Preiner Aina Niemetz, Armin BiereFMCAD, 2014.
Bibtex Entry:
@inproceedings{KLXJOIAdd,
  author    = {Aina Niemetz, Mathias Preiner and Armin Biere},
  title     = {Turbo-Charging Lemmas on Demand with Don't Care Reasoning},
  booktitle = {FMCAD},
  year      = {2014},
  url       = {pubpdf/29_niemetz90x.pdf}
}
Powered by bibtexbrowser