1. カテゴリーなし

条件付きインスタンスに対するSATエンコーディング