Hanna Lachnitt

Hanna Lachnitt

PhD student working on Automated Reasoning

Extending DRAT to SMT

S. Hitarth, Cayden R. Codel, Hanna Lachnitt, and Bruno Dutertre

Published in Formal Methods in Computer-Aided Design, FMCAD 2024, Prague, Czech Republic, October 15-18, 2024, 2024

Recommended citation: S. Hitarth, Cayden R. Codel, Hanna Lachnitt, and Bruno Dutertre. “Extending DRAT to SMT.” Formal Methods in Computer-Aided Design, FMCAD 2024, Prague, Czech Republic, October 15-18, 2024, 2024. https://doi.org/10.34727/2024/ISBN.978-3-85448-065-5_8

DOI

BibTeX
@inproceedings{DBLP:conf/fmcad/HitarthCLD24,
  author       = {S. Hitarth and
                  Cayden R. Codel and
                  Hanna Lachnitt and
                  Bruno Dutertre},
  editor       = {Nina Narodytska and
                  Philipp R{\"{u}}mmer},
  title        = {Extending {DRAT} to {SMT}},
  booktitle    = {Formal Methods in Computer-Aided Design, {FMCAD} 2024, Prague, Czech
                  Republic, October 15-18, 2024},
  pages        = {1--11},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.34727/2024/isbn.978-3-85448-065-5\_8},
  doi          = {10.34727/2024/ISBN.978-3-85448-065-5\_8},
  timestamp    = {Tue, 27 Jan 2026 17:17:18 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/HitarthCLD24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}