Talks and Poster Presentations (with Proceedings-Entry):
D. Pötzl, A. Holzer:
"Solving Constraints for Generational Search";
Talk: International Conference on Tests and Proofs (TAP),
Budapest, Ungarn;
2013-06-16
- 2013-06-20; in: "TAP",
Springer / LNCS,
7942
(2013),
ISBN: 978-3-642-38915-3;
197
- 213.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-38916-0_12
Created from the Publication Database of the Vienna University of Technology.