Title: Automated Design of Analog and High-frequency Circuits
Subjects: Computational intelligence, Automatic theorem proving, Problem solving, data processing