Christoph Hochrainer
Projektass. Dipl.-Ing. / BSc
Role
-
PreDoc Researcher
Software Engineering, E194-01
Projects
-
processor description language and compiler optimizations - 2
2022 – 2024 / HUAWEI Technologies CO, Ltd.
Publications
-
Automated reasoning over Arrays in the superposition calculus
/
Hochrainer, C. (2020). Automated reasoning over Arrays in the superposition calculus [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.77511
Download: PDF (705 KB)