-
Strengthening the heart of an SMT-solver : Design and implementation of effic...
This thesis tackles the problem of automatically proving the validity of mathematical formulas generated by program verification tools. In particular, it focuses on... -
An Instantiation Scheme for Satisfiability Modulo Theories
International audience -
Instantiation Schemes for Nested Theories
Article 11 - 33 pages
