Solving Constraints for Generational Search (bibtex)
by Daniel Pötzl, Andreas Holzer
Reference:
Solving Constraints for Generational SearchDaniel Pötzl, Andreas HolzerTests and Proofs - 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Margus Veanes, Luca Viganò, eds.), volume 7942 of Lecture Notes in Computer Science, pages 197-213, 2013, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/tap/PotzlH13,
  author    = {Daniel P{\"o}tzl and
               Andreas Holzer},
  title     = {Solving Constraints for Generational Search},
  booktitle = {Tests and Proofs - 7th International Conference, TAP 2013,
               Budapest, Hungary, June 16-20, 2013. Proceedings},
  year      = {2013},
  pages     = {197-213},
  ee        = {http://dx.doi.org/10.1007/978-3-642-38916-0_12},
  editor    = {Margus Veanes and Luca Vigan{\`o}},
  volume    = {7942},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser