Uwe Schöning, Jacobo Torán. A note on the size of Craig Interpolants. In Thomas Schwentick, Denis Thérien, Heribert Vollmer, editors, Circuits, Logic, and Games, 08.11. - 10.11.2006. Volume 06451 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [doi]
@inproceedings{SchoningT06,
title = {A note on the size of Craig Interpolants},
author = {Uwe Schöning and Jacobo Torán},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/973},
researchr = {https://researchr.org/publication/SchoningT06},
cites = {0},
citedby = {0},
booktitle = {Circuits, Logic, and Games, 08.11. - 10.11.2006},
editor = {Thomas Schwentick and Denis Thérien and Heribert Vollmer},
volume = {06451},
series = {Dagstuhl Seminar Proceedings},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}