Content: Publications

Publications by Kai Neubauer

Kai Neubauer, Philipp Wanko, Tobias Neumann, Christian Haubelt

Exact Multi-Objective Design Space Exploration using ASPmT

the Twenty-first Conference on Design, Automation and Test in Europe (DATE'18) (2018)

Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt

Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation

the Twentieth Conference on Design, Automation and Test in Europe (DATE'17) (2017)