Smarter Synthesis: Tools for Efficiency and Effectiveness

Smarter Synthesis: Tools for Efficiency and Effectiveness