Karush-Kuhn-Tucker Conditions under Slater's Condition