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]
@article{KoshimuraNFH10,
title = {Solving Open Job-Shop Scheduling Problems by SAT Encoding},
author = {Miyuki Koshimura and Hidetomo Nabeshima and Hiroshi Fujita and Ryuzo Hasegawa},
year = {2010},
url = {http://search.ieice.org/bin/summary.php?id=e93-d_8_2316},
tags = {source-to-source, open-source},
researchr = {https://researchr.org/publication/KoshimuraNFH10},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {93-D},
number = {8},
pages = {2316-2318},
}