Frank Poirot, Gerard Tarroux, Ramine Roane. Optimization using implicit techniques for industrial designs. In 5th Great Lakes Symposium on VLSI (GLS-VLSI 95), March 16-18, 1995, The State University of New York at Buffalo, USA. pages 8-14, IEEE Computer Society, 1995. [doi]
Abstract is missing.