Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions.

Andrea Aquino, Giovanni Denaro, Mauro Pezz

Browse the full ICSE paper archive.