[21a-C201-1~11] FS.1 フォーカストセッション「AIエレクトロニクス」

[21a-C201-9] 充足可能性問題を解く電子アメーバのバウンスバックルール圧縮

〇重松 陽子¹、葛西 誠也¹ (1.北大量集センター)

キーワード：電子アメーバ、充足可能性問題