@inproceedings{FroleyksYuBiereHeljanko-FM26,
  author       = {Nils Froleyks and
                  Emily Yu and
                  Armin Biere and
                  Keijo Heljanko},
  editor       = {Augusto Sampaio and
                  Marielle Stoelinga},
  title        = {Certifying Constraints in Hardware Model Checking},
  booktitle    = {Formal Methods - 27th International Symposium, {FM} 2026, Tokyo, Japan,
                  May 18-22, 2026, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  pages        = {170--188},
  publisher    = {Springer},
  year         = {2026},
  doi          = {10.1007/978-3-032-26204-2\_9},
}