Peter W. Cook Constraint Solver for Generalized IC Layout. 581-589 1984 28 IBM J. Res. Dev. 5 db/journals/ibmrd/ibmrd28.html#Cook84 https://doi.org/10.1147/rd.285.0581