by Tim Meywerk, Marcel Walter, Daniel Große and Rolf Drechsler
Reference:
Tim Meywerk, Marcel Walter, Daniel Große and Rolf Drechsler, "Clustering-Guided SMT(LRA) Learning", In 16th International Conference on integrated Formal Methods (iFM), 2020.
Bibtex Entry:
@inproceedings{MWGD:2020,
title={Clustering-Guided {SMT(LRA)} Learning},
author={Tim Meywerk and Marcel Walter and Daniel Gro{\ss}e and Rolf Drechsler},
year={2020},
booktitle={16th International Conference on integrated Formal Methods (iFM)},
keywords={easecrc_cognitive_arch_systems}
}