2024年電子情報通信学会総合大会
詳細検索

講演情報

9:50 〜 10:15キャリアエクスプローラー

[DS-2-08]Computing diverse pair of solutions for SAT

儀間 達也1、岩政 勇仁2、小林 靖明3、栗田 和宏1、大舘 陽太1、○斉藤 凜4 (1. 名大、2. 京大、3. 北大、4. 東北大)
PDFダウンロードPDFダウンロード

キーワード：

多様な解、パラメータ化複雑性、充足可能性問題

セッション詳細へ戻る