Satisfiability Procedures for Combination of Theories Sharing Integer Offsets.

Enrica Nicolini, Christophe Ringeissen, Michal Rusinowitch

Browse the full TACAS paper archive.