@inproceedings{fmcad2023,
  title = {Verified Encodings for {SAT} Solving},
  author = {Cayden R. Codel
            and Marijn J. H. Heule
            and Jeremy Avigad},
  booktitle = {Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - {FMCAD} 2023},
  editor = {Rozier, Kristin Yvonne
            and Alexander Nadel},
  volume = {4},
  series = {Formal Methods in Computer-Aided Design},
  year = {2023},
  month = {10},
  publisher = {TU Wien Academic Press},
  address = {Vienna, Austria},
  pages = {141--151},
  isbn = {978-3-85448-060-0},
  doi = {10.34727/2023/isbn.978-3-85448-060-0_22},
  url = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_22},
}