A Proof-Sensitive Approach for Small Propositional Interpolants
Additional information
Authors
Sharygina N.,
Alt L.,
Fedyukovich G.,
Hyvärinen A.
Type
Article in conference proceedings
Year
2015
Language
English
Meeting name
7. VSTTE 2015
Meeting place
San Francisco, CA, USA
Meeting date
July 18-19, 2015
