The top documents tagged [integer programs branch]