General Session
[2N6-GS-1] Fundamental AI, theory: Constraint satisfaction and optimization
Wed. Jun 10, 2020 5:50 PM - 7:30 PM Room N (jsai2020online-14)
座長:波多野大督(理化学研究所)
5:50 PM - 6:10 PM
[2N6-GS-1-01] Effective Symmetry Reduction based on Graph Automorphism in Graph-Based Model Checking
〇Yutaro Tsunekawa1, Kazunori Ueda2 (1. Graduate School of Fundamental Science and Engineering, Waseda University, 2. Faculty of Science and Engineering, Waseda University)
6:10 PM - 6:30 PM
Ryuta Inoue1, 〇Tenda Okimoto1, Katsutoshi Hirayama1 (1. Kobe University)
6:30 PM - 6:50 PM
[2N6-GS-1-03] DSSA+for3D
Expansion of DSSA+ into the 3D Space
〇Tomohiro Shiota1, Katsutoshi Hirayama1, Tenda Okimoto1 (1. Kobe University)
6:50 PM - 7:10 PM
〇Takaaki Toya1, Kazunori Mizuno1, Takuya Masukane1 (1. takushoku university)
7:10 PM - 7:30 PM
〇Kosuke Maeda1, Koji Iwanuma2 (1. Conputer Science and Engineering Course, Integrated Graduate School of Medicine, Engineering and Agricultural Sciences, University of Yamanashi, 2. Interdisciplinary Graduate School, University of Yamanashi)