2024年8月27日火曜日

SAT competition 2024

 SAT 2024 (satisfiability.org)

結果が発表されましたが、関連論文は、以下でダウンロードすることが出来ます。

通常年の通りだとすると、期間限定だと思います。

27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024) (dagstuhl.de)

今年は、疑似ブール制約のCompetitionも開催されたようです。

Pseudo Boolean Competition 2024 (univ-artois.fr)

こちらは、MIPとSATの間位の問題領域になっていて、NSPでも応用の可能性が期待できます。注目しています。


0 件のコメント:

コメントを投稿