Stefan Kupferschmid, Bernd Becker. Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen. In Frank Oppenheimer, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011. pages 279-288, OFFIS-Institut für Informatik, 2011.
@inproceedings{KupferschmidB11,
title = {Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen},
author = {Stefan Kupferschmid and Bernd Becker},
year = {2011},
researchr = {https://researchr.org/publication/KupferschmidB11},
cites = {0},
citedby = {0},
pages = {279-288},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011},
editor = {Frank Oppenheimer},
publisher = {OFFIS-Institut für Informatik},
}