Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich. Efficient symbolic multi-objective design space exploration. In Proceedings of the 13th Asia South Pacific Design Automation Conference, ASP-DAC 2008, Seoul, Korea, January 21-24, 2008. pages 691-696, IEEE, 2008. [doi]
Abstract is missing.