Is it possible to solve a linear program where constraints have ceiling or floor functions applied to variables (with maybe some constants)? For instance: $$\lceil (x_1 + a)/b \rceil + \lceil (x_2 + c)/d \rceil \leq e,$$
where $x_1$ and $x_2$ are integers. The constants as well.
Where can we find examples?
Thank you very much.