で一応アナウンスはしました。が、問題は全然解決していません。
kissatがincrementalになるのを待っているのですが、中々incrementalになってくれません。
これによれば、今年も望み薄なので、実装することにしました。
More incrementality features? · Issue #3 · arminbiere/kissat
その後に、DPSに組み込みを行います。これが、Alogrithm1の後継Algorithm5になります。
その他に、LPソルバの改善、メモリ消費改善、数理ソルバとの融合を経て、ようやく収束速度改善に至ります。
2017年に発した一つの疑問に対する答えの提示になっているとよいのですが。
来るべきイノベーションに向けてキャッチを考えました。
「(あなたのソルバは)物理限界まで最適化できますか?」
0 件のコメント:
コメントを投稿