2025-08-24: CDCLに改造した
やったこと
SAT
昨日書いたDPLLソルバをCDCLに改造していた。
CDCLについてはこのPDFを見るのが良いと思う。
とはいえresolutionを計算する部分をどう実装するかは考えどころ。
色々と実装を読んで考えていた。
シャドバWB
グランプリの2幕目で相変わらずしょうもない負け方をしていた。
ロイヤルが毎回スタチウムを2連打してくるので極端に勝てなかった。
つまらないので低評価レビューをした。
if you wanna break free you better listen to me
昨日書いたDPLLソルバをCDCLに改造していた。
CDCLについてはこのPDFを見るのが良いと思う。
とはいえresolutionを計算する部分をどう実装するかは考えどころ。
色々と実装を読んで考えていた。
グランプリの2幕目で相変わらずしょうもない負け方をしていた。
ロイヤルが毎回スタチウムを2連打してくるので極端に勝てなかった。
つまらないので低評価レビューをした。
2025-08-24: CDCLに改造した