Session information

Oral presentation

Organized Session » [Organized Session] OS-16

[4K2-OS-16b] [Organized Session] OS-16

Fri. Jun 8, 2018 2:00 PM - 3:40 PM Room K (3F Azisai Mokuren)

+Add all to schedule

2:00 PM - 2:20 PM

[4K2-OS-16b-01] A Dynamic Combination of Two Clause Evaluation Criteria based on Decision Level

〇Shuji Narazaki¹ (1. Nagasaki University)

2:20 PM - 2:40 PM

[4K2-OS-16b-02] Implementation of LMNtal Model Checkers: a Metaprogramming Approach

〇Yutaro Tsunekawa¹, Kazunori Ueda¹ (1. Waseda University)

2:40 PM - 3:00 PM

[4K2-OS-16b-03] Solving Various Network Design Problems Using ZDDs

〇Hirofumi Suzuki¹, Masakazu Ishihata¹, Shin-ichi Minato¹ (1. Graduate School of Information Science and Technology, Hokkaido University)

3:00 PM - 3:20 PM

[4K2-OS-16b-04] Design and implementation of dynamic variables and constraint hierarchies for HydLa

〇Masashi Sato¹, Kazunori Ueda¹ (1. Waseda University)

3:20 PM - 3:40 PM

[4K2-OS-16b-05] Frequent pattern mining for decision variables towards improving restart strategy

〇haruki fukuta¹, hidetomo nabeshima¹ (1. University of Yamanashi)

×

Authentication

×

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