Efficient Multi-Constrained Optimization for Example-Based Synthesis. | AMiner