Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. - Martin Gebser; Philipp Obermeier; Torsten Schaub; Michel Ratsch-Heitmann; Mario Runge (Theory Pract. Log. Program., 2018)