[Back]


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.