Boolean satisfiability approach to optimal multi-agent path finding under the sum of costs objective Conference Paper uri icon