やったこと

研究

やるべきことをやっている。
他人の論文をちゃんと読むのも悪いことではない。
学んでいこう。

SATソルバ

LRB (learning rate branching) について勉強していた。
あとGNNベースのアプローチについても。

今の時代でも、普通に実装するならまずはLRBで実装して、最先端の結果を求めるならGNNに広げていくといいのだろうな、と思った。
LRBのアイディア自体は非常にまっとうで、今後のSATソルバの発展に重要なのだろう。