ILP Modulo Data.

Panagiotis Manolios, Vasilis Papavasileiou, Mirek Riedewald

Browse the full FMCAD paper archive.