OPINION PAPER Evolutionary Constraint-Based Formulation Requires New Bi-level Solving Techniques. - Marko Budinich; Jérémie Bourdon; Abdelhalim Larhlimi; Damien Eveillard (CMSB, 2015)