イグチ　ユキヒロ   Iguchi Yukihiro   井口　幸洋    所属   明治大学  理工学部    職種   専任教授
発表年月日	2021/09/11
発表テーマ	SAT ソルバを用いたESOP 最小化法と8変数対称関数の最小ESOP について
会議名	多値論理フォーラム
主催者	多値論理研究会
学会区分	研究会・シンポジウム等
発表形式	口頭（一般）
単独共同区分	共同
国名	日本
開催地名	オンライン開催
開催期間	2021/09/11～2021/09/12
発表者・共同発表者	藤田智進、笹尾勤、井口幸洋
概要	SATソルバーをつかって，ESOPの最小化法を提案し，実験結果を示した．とくに8変数対称関数の最小化では，従来その最小性を保証できなかったものも最小性を証明した．