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{Poetzl:TAP13,
publisher = {Springer},
title = {Solving Constraints for Generational Search},
ee = {http://dx.doi.org/10.1007/978-3-642-38916-0_12},
series = {Lecture Notes in Computer Science},
booktitle = {Tests and Proofs - 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings},
author = {Daniel P{\"o}tzl and Andreas Holzer},
volume = {7942},
editor = {Margus Veanes and Luca Vigan{\`o}},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {197--213},
}
Powered by bibtexbrowser