(Back to Session Schedule)

SASIMI 2013
The 18th Workshop on Synthesis And System Integration of Mixed Information Technologies

Invited Talk II
Time: 9:00 - 10:00 Tuesday, October 22, 2013
Location: Tanchō-Hakuchō 1
Chair: Nagisa Ishiura (Kwansei Gakuin Univ., Japan)

I2 (Time: 9:00 - 10:00)
TitlePower of Enumeration --- State-of-the-art Algorithms for Tackling Combinatorial Explosion
Author*Shin-ichi Minato (Hokkaido Univ./JST, Japan)
Pagepp. 203 - 207
Detailed information (abstract, keywords, etc)