New Algorithmic Techniques for Complex EDA Problems