The Institute of Electronics, Information and Communication Engineers General Conference
Advanced Search

Presentation Information

9:50 AM - 10:15 AM JST(12:50 AM - 1:15 AM UTC)Career Explorer

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

Tatsuya Gima1, Yuni Iwamasa2, Yasuaki Kobayashi3, Kazuhiro Kurita1, Yota Otachi1, ○Rin Saito4 (1. Nagoya Univ., 2. Kyoto Univ., 3. Hokkaido Univ., 4. Tohoku Univ.)

Keywords:

Diversity of solutions,Parameterized complexity,SAT

Back to Session information