Application of Formal Methods (SAT/SMT) to the Design of Constrained Codes. - Sunil Sudhakaran; Clark W. Barrett; Mark Horowitz (DATE, 2025)