Heuristically Matching Solution Spaces of Arithmetic Formulas to Efficiently Reuse Solutions | IEEE Conference Publication | IEEE Xplore