A Proof-Sensitive Approach for Small Propositional Interpolants

TitleA Proof-Sensitive Approach for Small Propositional Interpolants
Publication TypeConference Paper
Year of Publication2015
AuthorsAlt, Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha
Conference NameVSTTE 2015
URLhttp://verify.inf.usi.ch/sites/default/files/main_0.pdf