youtu.be 最近記事の更新が疎になってるので、もう少し更新頻度を上げたい 先日、友人からSATソルバーにおけるCDCLというアルゴリズムを非決定的なものに拡張できないかという話を聞き、それを考えるためにはまずCDCLそのものについてちゃんと理解しないとダ…