SMT Solving for Arithmetic Theories: Theory and Tool Support.

Erika brahm, Gereon Kremer

Browse the full SYNASC paper archive.