Satisfiability Modulo Exponential Integer Arithmetic.

Florian Frohn, Jrgen Giesl

Browse the full IJCAR paper archive.