Essential Convexity and Complexity of Semi-Algebraic Constraints (Logical Methods in Computer Science, 2012)