Vol.3, No.11.

ways to SLS

久しぶりに10月はどっぷりSAT solver開発に没頭しました。 どういう気まぐれかSLSにとうとう取り組んで、あっという間にできたけど性能上がらず、苦悩の日々。 色々なことに手を出して収拾が付かなくなったので、branch切り直してstageの修正、clause reductionの修正とやって行ったら、 sat-benchでのマイクロベンチマークでの話だけどえらく改善してしまった。 もうSLSなしで0.17をリリースしてもいいくらい。

まあ今年はまだ2ヶ月あるので、当分はSLSで粘ることになりそうです。 いや、12月はadvent of codeに持って行かれるので今月一杯くらいか。。。