Session information

Organized Session

Organized Session » [OS] OS-3

[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)

Authentication

Please log in with your participant account.
» Participant Log In

▲