Identifying Redundant Constraints for AC OPF: The Challenges of Local Solutions, Relaxation Tightness, and Approximation Inaccuracy | IEEE Conference Publication | IEEE Xplore