Clustering-Guided SMT(LRA) Learning (bibtex)

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}
}