Flexible hybrid stores: Constraint-based rewriting to the rescue | IEEE Conference Publication | IEEE Xplore