In Kim Stanley Robinson's 2312, Venus is terraformed by inserting a large sunshade in the L1 Lagrange point of the Venus-Sun system. This makes Venus significantly cooler and atmospheric CO2 freezes. The frozen CO2 is then easily removed.