2020-07-22

状況

CDCL を実装中

テストケース 32 個中 7 つが失敗する

議題

中間報告書を書いてみたので確認

watched literals はデータ構造的な部分の話であるから、これの有無で計測するのは難しいかもしれない

乱数を使うべきか？(Random restart のところを見て)

再現性がなくなってデバッグがしにくくなるので極力されたい

並列化するときには便利

Diversification of Search Space for Parallel SAT Solvers

他の人がどのようなことをしているのかが気になっている

coord_e が GHC を実装しようとしている

型族というものについて教えていただいた

型族は、型を受け取って型を返すもの