てがみ: qatacri at protonmail.com | 統計 | ⟨ 2019 ⟩

201930101

SATソルバを使うためにCNFを作る - soutaroブログ
Tseitin変換と、最初からCNFを作る考え方 - Qiita