@article{DBLP:journals/corr/abs-1804-10437, title = {Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming}, author = {Gebser, Martin and Obermeier, Philipp and Ratsch{-}Heitmann, Michel and Runge, Mario and Schaub, Torsten}, journal = {CoRR}, volume = {abs/1804.10437}, year = {2018} }