Jun. Jui. 2018 Aug.
SunMonTueWedThuFriSat
01 02 03 04 050607
080910 11121314
15161718192021
22232425262728
29303101020304
Click Seminar

Purpose and Background of the Research


Discrete structures are foundational material for computer science and mathematics. Many problems solved by computers can be decomposed into discrete structures using simple primitive algebraic operations. It is very important how to represent large-scale discrete structural data and to execute their operations efficiently. The project leader has been leading "JST ERATO Minato Discrete Structure Manipulation System Project" for six years. In this project, he has studied discrete structure manipulation systems using Zero-suppressed Binary Decision Diagrams (ZDDs) and their practical applications. As the results of the project, they developed novel techniques for enumerating, compressing and indexing large-scale data based on ZDDs, and they are very effective for real-life problems. Many researchers are now interested in these techniques, and several number of related research projects has been started. This research project focus on the core algorithms of discrete structure manipulation, and we will continue to maintain a firm research community in the center of the other related research projects.

Seminar Information

 

TOPICS

Next Seminar

SSSW2018.07 Call for Participation

Call for Participation: SSSW2018.07 (Short Stay Seminar Week 2018.07) will be held on July 2 to 5 at Hokkaido University Office.
(June 26, 2018 10:51 By minato)
 

SSSW2018.06 Call for Participation

Call for Participation: SSSW2018.05 (Short Stay Seminar Week 2018.06) will be held on June 18 to 22 at Hokkaido University Office.
(June 18, 2018 14:10 By minato)
 

SSSW2018.05 Call for Participation

Call for Participation: SSSW2018.05 (Short Stay Seminar Week 2018.05) will be held on May 28 to June 1 at Hokkaido University Office.
(May 28, 2018 16:02 By minato)
 

Our project leader, Prof. Minato, has moved to Kyoto University.

Prof. Minato moved to Graduate School of Informatics, Kyoto University on April, 2018. This project runs for two years from now. We will continue our research activity at Hokkaido University as the center office of our project. We started a new series of seminar at Hokkaido University: SSSW2018.04 (Short Stay Seminar Week 2018.04).
(April 17, 2018 11:06 By minato)
 

Our project will organize a special session at JSAI-2018

Our project will organize a special session OS-16 "Satisfiability and Discrete Structure Manipulation in AI" at JSAI-2018, which will be held on June 5-8, 2018 at Kagoshima. Submission due is March 9, 2018.
(January 31, 2018 17:32 By minato)