GRIDS: Interactive Layout Design with Integer Programming (2020-01-09T00:00:00.000000Z)