The 13th International Workshop on Logic & Synthesis (IWLS) | IEEE Journals & Magazine | IEEE Xplore