Can I read Design Space Exploration with Answer Set Programming on EtoBox?

Design Space Exploration with Answer Set Programming by Christian Haubelt; Kai Neubauer; Torsten Schaub; Philipp Wanko is a Computer Science article available to read on EtoBox.

What is Design Space Exploration with Answer Set Programming about?

The aim of our project design space exploration with answer set programming is to develop a general framework based on Answer Set Programming (ASP) that finds valid solutions to the system design problem and simultaneously performs Design Space Exploration (DSE) to find the most favorable alternatives. We leverage recent developments in ASP solving that allow for tight integration of background theories to create a holistic framework for effective DSE.

Who reads Design Space Exploration with Answer Set Programming?

Author

Christian Haubelt; Kai Neubauer; Torsten Schaub; Philipp Wanko

Publisher

Springer Science and Business Media LLC

Published

2018

Language

EN

Field

Computer Science (Physical Sciences)