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

2019

Dec 2019

Sep 2019

Jul 2019

Jun 2019

May 2019

Apr 2019

Mar 2019

Feb 2019

Jan 2019