@inproceedings{edrat2024,
  title = {Extending {DRAT} to {SMT}},
  author = {S. Hitarth
            and Cayden R. Codel
            and Hanna Lachnitt
            and Bruno Dutertre},
  booktitle = {Formal Methods in Computer-Aided Design - {FMCAD}},
  year = {2024},
  pages = {18--28},
}