(1 - 17 von 21
)
Forschung | University of Tübingen
uni-tuebingen.de
Applications of MaxSAT in Automotive Configuration Rouven Walter, Christoph Zengler, Wolfgang Küchlin in: Proceedings of the 15th International Configuration Workshop, Vienna, Austria, August , pp.: (2013) Paper
Campus Event Calendar: Christoph Zengler ( in E Max-Planck-Gesellschaft
domino.mpi-inf.mpg.de
New Approaches to Boolean Quantifier Elimination. Christoph Zengler. University of Tübingen. Talk. AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI
Campus Event Calendar: Christoph Zengler ( in E )
domino.mpi-inf.mpg.de
Speaker: Christoph Zengler. coming from: University of Tübingen. Speakers Bio: Event Type: Talk. Visibility: D1, D2, D3, D4, D5, SWS, RG1, ...
Former Staff • University of PassauUniversität Passau
www.fim.uni-passau.de
Christoph Zengler. Share this page. Back to top. Beim Anzeigen des Videos wird Ihre IP-Adresse an einen externen Server (Vimeo.com) gesendet. Video anzeigen.
sortiert nach Relevanz / Datum