SAT-Based On-Track Bus Routing.

He-Teng Zhang Masahiro Fujita Chung-Kuan Cheng Jie-Hong R. Jiang

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2021)

Keyphrases

high speed
routing algorithm
network topology
shortest path
wireless ad hoc networks
real time
routing problem
ai planning
ad hoc networks
planning problems
answer set programming
constraint solver
knowledge base
mobile ad hoc networks
travel distance