Ryuzo HASEGAWA

MaxSAT Encoding for MC-Net-Based Coalition Structure Generation Problem with Externalities
Xiaojuan LIAO Miyuki KOSHIMURA Hiroshi FUJITA Ryuzo HASEGAWA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/07/01
Vol. E97-D  No. 7  pp. 1781-1789
Type of Manuscript:  PAPER
Category: Information Network
Keyword: 
coalition structure generation, externality, weighted partial MaxSAT, cooperative games, 
 Summary | Full Text:PDF(384.1KB)
Extending MaxSAT to Solve the Coalition Structure Generation Problem with Externalities Based on Agent Relations
Xiaojuan LIAO Miyuki KOSHIMURA Hiroshi FUJITA Ryuzo HASEGAWA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/07/01
Vol. E97-D  No. 7  pp. 1812-1821
Type of Manuscript:  PAPER
Category: Information Network
Keyword: 
weighted partial MaxSAT, coalition structure generation, externality, cooperative games, 
 Summary | Full Text:PDF(519.6KB)
Solving Open Job-Shop Scheduling Problems by SAT Encoding
Miyuki KOSHIMURA Hidetomo NABESHIMA Hiroshi FUJITA Ryuzo HASEGAWA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/08/01
Vol. E93-D  No. 8  pp. 2316-2318
Type of Manuscript:  LETTER
Category: Artificial Intelligence, Data Mining
Keyword: 
combinatorial problem, scheduling, SAT encoding, job-shop scheduling, makespan, 
 Summary | Full Text:PDF(68.1KB)