A Proof-Sensitive Approach for Small Propositional Interpolants - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina. A Proof-Sensitive Approach for Small Propositional Interpolants. In Arie Gurfinkel, Sanjit A. Seshia, editors, Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers. Volume 9593 of Lecture Notes in Computer Science, pages 1-18, Springer, 2015. [doi]

This author has not been identified. Look up 'Leonardo Alt' in GoogleThis author has not been identified. Look up 'Grigory Fedyukovich' in GoogleThis author has not been identified. Look up 'Antti E. J. Hyvärinen' in GoogleThis author has not been identified. Look up 'Natasha Sharygina' in Google

runs on WebDSL