Reformulation descent applied to circle packing problems