A class of non-linear programs: theoretical and algorithmical results