تگ: On Guaranteed Optimal Robust Explanations