Dual Algorithms for Vectorless Power Grid Verification Under Linear Current Constraints | IEEE Journals & Magazine | IEEE Xplore