Publications by Christian Haubelt
Exact Multi-Objective Design Space Exploration using ASPmT
the Twenty-first Conference on Design, Automation and Test in Europe (DATE'18) (2018)
Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation
the Twentieth Conference on Design, Automation and Test in Europe (DATE'17) (2017)
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)