Publications
Drechsler: Machine Learning-based Prediction of Test Power, IEEE European Test Symposium (ETS), Baden-Baden, Germany, 2019. M. Picklum, M. Beetz: MatCALO: Knowledge-enabled machine learning in materials science [...] Publications © SFB1232 2020 2019 2018 2017 2016 R. Drechsler, S. Huhn, Chr. Plump: Combining Machine Learning and Formal Techniques for Small Data Applications - A Framework to Explore New Structural Materials [...] (ITC-Asia), Tokyo, Japan, 2019. B. Ustaoglu, S. Huhn, F. S. Torres, D. Große, R. Drechsler: SAT-Hard: A Learning-based Hardware SAT-Solver, EUROMICRO Digital System Design Conference (DSD), Kallithea - Chalkidiki