Login / Signup

Improving LTL truck load utilization on line.

Joris van de KlundertBernhard Otten
Published in: Eur. J. Oper. Res. (2011)
Keyphrases
  • load balancing
  • temporal logic
  • bounded model checking
  • real time
  • neural network
  • information systems
  • model checking
  • vehicle routing problem