Towards Verifying Nonlinear Integer Arithmetic.

Paul Beame, Vincent Liew

Browse the full CAV paper archive.