Synthesis from Component Libraries.

Yoad Lustig, Moshe Y. Vardi

Browse the full FOSSACS paper archive.