Incremental QBF Solving by DepQBF (bibtex)
by Florian Lonsing, Uwe Egly
Reference:
Incremental QBF Solving by DepQBFFlorian Lonsing, Uwe EglyMathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pages 307-314, 2014.Note: to appear
Bibtex Entry:
@inproceedings{DBLP:conf/icms/LonsingE14,
  author    = {Florian Lonsing and
               Uwe Egly},
  title     = {Incremental {QBF} Solving by DepQBF},
  booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
               Seoul, South Korea, August 5-9, 2014. Proceedings},
  year      = {2014},
  pages     = {307--314},
  doi       = {10.1007/978-3-662-44199-2_48},
  note = {to appear}
}
Powered by bibtexbrowser