Application of Formal Methods (SAT/SMT) to the Design of Constrained Codes.

Sunil Sudhakaran, Clark W. Barrett, Mark Horowitz

Browse the full DATE paper archive.