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,
|
