Keyword:Uninterpreted Functions

Publications
Model Based Interpolation for Uninterpreted Functions and Integer Linear Arithmetic Nikolaj Bjorner, Arie Gurfinkel, Sharon Shoham and Yakir Vizel EasyChair Preprint 10000