Enumerative Data Types with Constraints.

Andrew T. Walter, David A. Greve, Panagiotis Manolios

Browse the full FMCAD paper archive.