A general system for heuristic minimization of convex functions over non-convex sets. (2nd January 2018)