Publikationsart: Konferenzbeitrag / Autor: Althaus, Ernst and Kupilas, Joschka / Datenquelle: DBLP - Universitätsbibliographie Suchergebnisse

Neu anfangen Publikationsart Konferenzbeitrag Autor Althaus, Ernst Autor Kupilas, Joschka Datenquelle DBLP

1. On the Low-Dimensional Steiner Minimum Tree Problem in Hamming Metric.

Autoren:: Althaus, Ernst; Kupilas, Joschka; Naujoks, Rouven
Editoren:: Ogihara, Mitsunori; Tarui, Jun
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag

2. Improving Interpolants for Linear Arithmetic.

Autoren:: Althaus, Ernst; Beber, Björn; Kupilas, Joschka; Scholl, Christoph
Editoren:: Finkbeiner, Bernd; Pu, Geguang; Zhang, Lijun
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag