東大の藤田先生が、ABCの最新版にて論理合成の最適化の手法に関して実験しています。成果の共有を許可いただいたので、PDFを共有いたします。 ２１日の午前中にABCのAlanと議論しますので、ご興味がある方はご連絡ください。