SAT-based resource binding for reducing critical path delays.

Kenshu Seto Yuta Nonaka Takuya Maruizumi Yasuhiro Shiraki

Published in: FPL (2008)

Keyphrases

critical path
job shop scheduling problem
answer set programming
resource allocation
sat solvers
genetic algorithm
bounded model checking
search algorithm
computational complexity
scheduling problem
combinatorial optimization problems
ai planning
sat encodings