Equivalence checking of arithmetic expressions using fast evaluation.

Mohammad Ali Ghodrat, Tony Givargis, Alexandru Nicolau

Browse the full CASES paper archive.