We gratefully acknowledge support from
the Simons Foundation and member institutions.

Priyanka Golia is qualified to endorse.

Synthesis with Explicit Dependencies

Priyanka Golia: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CC, cs.CR, cs.IT, cs.LG, cs.LO, math.IT. (why?)

Subhajit Roy and Kuldeep S. Meel are not registered as owners of this paper. (why?)