Parameter domain pruning for improving convergence of synthesis algorithms | IEEE Conference Publication | IEEE Xplore