Discovering affine equalities using random interpretation.

Sumit Gulwani, George C. Necula

Browse the full POPL paper archive.