Before revision:  This NP-hard problem has many variants, which are often modeled as integer linear programs.
After revision:  This NP-hard problem has many variants, often modeled as integer linear programs.