Author here. I agree, I should add more hedging:

> Everyone knows you can tackle those with heuristics, but you don't (ALWAYS) have to sacrifice optimality

> We absolutely have tools that can (OFTEN) find provably optimal solutions in reasonable time