2020-09-09

テストケースを追加し、計測しなおした。

1UIP の求め方を実装できていたつもりだったが、うまくできていなかったことが話をしていてわかった。（MiniSat に記述されているアルゴリズムをうまく読み取れていなかった）

1UIP cut の求め方をその論文を見ながら先生と図を書いて理解した。