研究したくねぇ 誰か僕の修論書いておいてください． Horn SATとは2-SAT同様，高速に解けるSATの特殊ケースらしいです． のしさん教えてくれてありがとう 問題定義 以下のようなSATです． 和積標準形の形で，各節に肯定リテラルが高々1個のものです． メモ …