Duality-based interpolation for quantifier-free equalities and uninterpreted functions
Additional information
Authors
Sharygina N.,
Hyvärinen A.,
Asadi S.,
Alt L.
Type
Article in conference proceedings
Year
2017
Language
English
Meeting name
17th FMCAD 2017
Meeting place
Vienna, Austria
Meeting date
October 2-6, 2017
