Katherine Cordwell

https://www.cs.cmu.edu/~kcordwel/

2021

Verified Quadratic Virtual Substitution for Real Arithmetic
by Matias Scharager, Katherine Cordwell, Stefan Mitsch and André Platzer

02 Oct

The BKR Decision Procedure for Univariate Real Arithmetic
by Katherine Cordwell, Yong Kiam Tan and André Platzer

24 Apr