Methods of specification of integer programs | lit.salon