@inproceedings{ReynoldsBarbosaNiemetzNoetzliPreinerBarrettTinelli-SMT18,
  author    = {Andrew Reynolds and
               Haniel Barbosa and
               Aina Niemetz and
               Andres N\"{o}tzli and
               Mathias Preiner and
               Clark Barrett and
               Cesare Tinelli},
  editor    = {Vijay D'Silva and
               Rayna Dimitrova},
  title     = {{Rewrites for SMT Solvers using Syntax-Guided Enumeration}},
  booktitle = {Proceedings of the 16th International Workshop on
               Satisfiability Modulo Theories, {SMT} 2018),
               affiliated with the 9th International Joint Conference on
               Automated Reasoning, {IJCAR} 2018,
               Oxford, UK, July 12-13, 2018},
  pages     = {10 pages},
  year      = {2018}
}