\input zb-basic \input zb-ioport \iteman{io-port 70389659} \itemau{Liu, Hung-Yi; Diakonikolas, Ilias; Petracca, Michele; Carloni, Luca P.} \itemti{Supervised design space exploration by compositional approximation of Pareto sets} \itemso{DAC, 399-404 (2011).} \itemcc{} \itemut{} \itemli{doi:10.1145/2024724.2024818} \end