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 件のコメント:
コメントを投稿