[DS-2] COMP-AFSA学生シンポジウム

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

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

儀間 達也¹、岩政 勇仁²、小林 靖明³、栗田 和宏¹、大舘 陽太¹、○斉藤 凜⁴ (1. 名大、2. 京大、3. 北大、4. 東北大)

キーワード：

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