Matching Multiplications in Bit-Vector Formulas.

Supratik Chakraborty, Ashutosh Gupta, Rahul Jain

Browse the full VMCAI paper archive.