Combining Machine Learning and Formal Techniques for Small Data Applications - A Framework to Explore New Structural Materials.

Rolf Drechsler, Sebastian Huhn, Christina Plump

Browse the full DSD paper archive.