integerlinearprogrammingusingdifferentiablededekindsumsfromanalyticnumbertheory