Practical here means: Occurs in practice. And that they are optimally solvable in practice is not a tautology. It could be that you would need human insight (like you still need for most proving interesting mathematical theorems), or that people would only solve approximations. (People do solve approximations, too.)