Thomas Schlichter Christian Haubelt Frank Hannig Jürgen Teich Using Symbolic Feasibility Tests during Design Space Exploration of Heterogeneous Multi-Processor Systems. 9-14 2005 conf/asap/2005 ASAP http://doi.ieeecomputersociety.org/10.1109/ASAP.2005.64 db/conf/asap/asap2005.html#SchlichterHHT05