Proving Hard Theorems in Rich Theories, Part II

by
Yury Puzis
Department of Computer Science
University of Miami
USA
y.puzis@umiami.edu
Geoff Sutcliffe
Department of Computer Science
University of Miami
USA
geoff@cs.miami.edu
Yuan Zhang
Department of Computer Science
University of Miami
USA
yuan@mail.cs.miami.edu
Yi Gao
Department of Computer Science
University of Miami
USA
yigao@mail.cs.miami.edu

Abstract