Constraint Programming in Compiler Optimization: Lessons Learned | IEEE Conference Publication | IEEE Xplore