@inproceedings{RathBiereKovacs-FMCAD22,
  author       = {Jakob Rath and
                  Armin Biere and
                  Laura Kov{\'{a}}cs},
  editor       = {Alberto Griggio and
                  Neha Rungta},
  title        = {First-Order Subsumption via {SAT} Solving},
  booktitle    = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
                  Italy, October 17-21, 2022},
  pages        = {160--169},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_22},
  doi          = {10.34727/2022/ISBN.978-3-85448-053-2\_22},
}