An artificial intelligence approach to VLSI design - Kowalski, Thaddeus J. (Kluwer international series in engineering and computer science, 1985)