Ecient Algorithms for Solving Static