Hidetomo NABESHIMA


Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers
Masahiko SAKAI Hidetomo NABESHIMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/06/01
Vol. E98-D  No. 6  pp. 1121-1127
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Foundation
Keyword: 
reduced ordered BDDPesudo-Boolean constraintoptimization problem
 Summary | Full Text:PDF(1.7MB)

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 problemschedulingSAT encodingjob-shop schedulingmakespan
 Summary | Full Text:PDF(68.1KB)