Text this: Global optimization and constraint satisfaction :