Solving Open Job-Shop Scheduling Problems by SAT Encoding

Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa. Solving Open Job-Shop Scheduling Problems by SAT Encoding. IEICE Transactions, 93-D(8):2316-2318, 2010. [doi]

Abstract

Abstract is missing.