On the Feasibility of Using a High-Level Solver within Robotic Mobile Fulfillment Systems Academic Article in Scopus