Incremental QBF Solving (bibtex)
by Florian Lonsing, Uwe Egly
Reference:
Incremental QBF SolvingFlorian Lonsing, Uwe EglyPrinciples and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pages 514-530, 2014.
Bibtex Entry:
@inproceedings{DBLP:conf/cp/LonsingE14,
  author    = {Florian Lonsing and
               Uwe Egly},
  title     = {Incremental {QBF} Solving},
  booktitle = {Principles and Practice of Constraint Programming - 20th International
               Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  year      = {2014},
  pages     = {514--530},
  url       = {http://arxiv.org/abs/1402.2410},
  doi       = {10.1007/978-3-319-10428-7_38},
}
Powered by bibtexbrowser