Reducing Labor Costs in an LTL Crossdocking Terminal.

John J. Bartholdi III Kevin R. Gue

Published in: Oper. Res. (2000)

Keyphrases

costs can be reduced
model checking
temporal logic
linear temporal logic
multi class
significantly reduced
real time
artificial intelligence
expert systems
evolutionary algorithm
human resources
bounded model checking