2020-12-08
今まで Scrapbox に書いてきたことを振り返ったりしていた。
order-principle 系について
2020-08-15
と比較すれば、op19 は 4430/1.9 = 2331 倍も高速になったことがわかった。
SAT ソルバーの仕組みの
#diary