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 >

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