(1 - 14 von 24
)
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, ...
sortiert nach Relevanz / Datum