"A Global Optimization Algorithm for Electronic CAD"