Research report, long version of our AISC 2010 paper
Instantiation of SMT problems modulo Integers