Ilp modulo data (2014)

by P Manolios, V Papavasileiou, M Riedewald
Venue:In FMCAD