An artificial intelligence approach to VLSI design - Kowalski, Thaddeus J. (Kluwer, 1985)