Synthesis from Component Libraries with Costs.

Guy Avni, Orna Kupferman

Browse the full CONCUR paper archive.