Methods Used in an Automatic Logic Design Generator (ALERT) | IEEE Journals & Magazine | IEEE Xplore