Hanna Lachnitt
发表
Clark W. Barrett,
C. Barrett,
C. Tinelli,
2022,
TACAS.
Caroline Trippel,
Hanna Lachnitt,
Nicholas Mosier,
2022,
ISCA.
Hanna Lachnitt,
2020
.
Yijun He,
Anthony Bordg,
Hanna Lachnitt,
2020,
Journal of Automated Reasoning.
Hamed Nemati,
Caroline Trippel,
Hanna Lachnitt,
2021,
ArXiv.
Clark W. Barrett,
C. Tinelli,
Alex Ozdemir,
2022,
IJCAR.