Laurentiu Nicolae, Ed F. Deprettere. Constraints Derivation and Propagation for Large-Scale Embedded Systems Exploration. In Andy D. Pimentel, Stamatis Vassiliadis, editors, Computer Systems: Architectures, Modeling, and Simulation, Third and Fourth International Workshops, SAMOS 2003 and SAMOS 2004, Samos, Greece, July 21-23, 2003 and July 19-21, 2004, Proceedings. Volume 3133 of Lecture Notes in Computer Science, pages 550-560, Springer, 2004. [doi]