Publications by Christian Haubelt

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)

Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub

Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics

Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)