%0 Conference Paper %1 conf/vstte/AltFHS15 %A Alt, Leonardo %A Fedyukovich, Grigory %A Hyvärinen, Antti E. J. %A Sharygina, Natasha %B VSTTE %D 2015 %E Gurfinkel, Arie %E Seshia, Sanjit A. %I Springer %K dblp %P 1-18 %T A Proof-Sensitive Approach for Small Propositional Interpolants. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2015.html#AltFHS15 %V 9593 %@ 978-3-319-29612-8

@inproceedings{conf/vstte/AltFHS15, added-at = {2018-11-02T00:00:00.000+0100}, author = {Alt, Leonardo and Fedyukovich, Grigory and Hyvärinen, Antti E. J. and Sharygina, Natasha}, biburl = {https://www.bibsonomy.org/bibtex/20b46e00228b32550038c61d170c5b341/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2015}, editor = {Gurfinkel, Arie and Seshia, Sanjit A.}, ee = {https://doi.org/10.1007/978-3-319-29613-5_1}, interhash = {f0e344905bee60e0bf00cfa1ac58705d}, intrahash = {0b46e00228b32550038c61d170c5b341}, isbn = {978-3-319-29612-8}, keywords = {dblp}, pages = {1-18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:25:18.000+0200}, title = {A Proof-Sensitive Approach for Small Propositional Interpolants.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2015.html#AltFHS15}, volume = 9593, year = 2015 }