Abstract

BibTeX

@inproceedings{JJMJAR-CEURWS21,
  author    = {Jan Jakubuv and
               Mikol{\'{a}}s Janota and
               Andrew Reynolds},
  editor    = {Alexander Nadel and
               Aina Niemetz},
  title     = {Characteristic Subsets of {SMT-LIB} Benchmarks},
  booktitle = {Proceedings of the 19th International Workshop on Satisfiability Modulo
               Theories co-located with 33rd International Conference on Computer
               Aided Verification(CAV 2021), Online (initially located in Los Angeles,
               USA), July 18-19, 2021},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2908},
  pages     = {53--63},
  publisher = {CEUR-WS.org},
  year      = {2021},
  url       = {http://ceur-ws.org/Vol-2908/paper7.pdf},
}