Organized Session

[1E2-OS-3a] AI における離散構造処理と制約充足(1)

Tue. Jun 4, 2019 1:20 PM - 3:00 PM Room E (301A Medium meeting room)

波多野大督（理化学研究所）、蓑田玲緒奈（（株）ベイシスコンサルティング）

+Add all to schedule

1:20 PM - 2:00 PM

[1E2-OS-3a-01] (Invited talk) Sentential Decision Diagrams and related topics

〇Masaaki Nishino¹ (1. NTT Communication Science Laboratories)

2:00 PM - 2:20 PM

[1E2-OS-3a-02] MCSes Enumeration with the Glucose SAT Solver

〇Miyuki Koshimura¹, Ken Satoh² (1. Kyushu University, 2. National Institute of Informatics)

2:20 PM - 2:40 PM

[1E2-OS-3a-03] A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition

〇Takehide Soh¹, Daniel Le Berre^3,4, Mutsunori Banbara², Naoyuki Tamura¹ (1. Kobe University, 2. Nagoya University, 3. CRIL-CNRS, UMR 8188, 4. Université d'Artois)

2:40 PM - 3:00 PM

[1E2-OS-3a-04] An Analysis of Entry and Exit Data in Office by Decision Tree Learning Using Clustering Factor Matrix from Non-negative Multiple Matrix Factorization

〇Seidai Kojima¹, Hayato Ishigure¹, Miwa Sakata¹, Atsuko Mutoh¹, Koichi Moriyama¹, Nobuhiro Inuzuka¹ (1. Nagoya Institute of Technology)

Organized Session

[1E3-OS-3b] AI における離散構造処理と制約充足(2)

Tue. Jun 4, 2019 3:20 PM - 4:00 PM Room E (301A Medium meeting room)

波多野大督（理化学研究所）、蓑田玲緒奈（（株）ベイシスコンサルティング）

+Add all to schedule

3:20 PM - 3:40 PM

[1E3-OS-3b-01] A Branch-and-bound Algorithm for Determining Discrete Changes for Hybrid Constraint Solver HyLaGI

〇Masashi SATO¹, Kazunori UEDA¹ (1. Waseda University)

3:40 PM - 4:00 PM

[1E3-OS-3b-02] Dynamic Reduction of Guarded Constraints for the Hybrid Systems Modeling Language HydLa

〇Takafumi Horiuchi¹, Kazunori Ueda¹ (1. Waseda University)

Sessions

Organized Session » [OS] OS-3