Optimization using implicit techniques for industrial designs. - Frank Poirot; Gerard Tarroux; Ramine Roane (Great Lakes Symposium on VLSI, 1995)