Clustering-Guided SMT(LRA) Learning (bibtex)
by Tim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler
Reference:
Tim Meywerk, Marcel Walter, Daniel Große, 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}
}
Powered by bibtexbrowser