Benjamin Doerr Roundings Respecting Hard Constraints. 467-483 2007 40 Theory Comput. Syst. 4 https://doi.org/10.1007/s00224-006-1318-7 db/journals/mst/mst40.html#Doerr07