Ario: A Linear Integer Arithmetic Logic Solver.

Hossein M. Sheini, Karem A. Sakallah

Browse the full FMCAD paper archive.