2020

Mar 2020

  • Mar 4, 2020 Talk, PhD School Erika Ábrahám (RWTH) gives a historical overview of this development, describes her own solver SMT-RAT, and discusses some applications and potentials.

Feb 2020