We gratefully acknowledge support from
the Simons Foundation and member institutions.
arXiv.org
No authors of 1106.1228 can endorse.
Synthesis from Recursive-Components Libraries
Yoad Lustig
and
Moshe Vardi
are not registered as owners of this paper. (
why?
)
