DPLL(MAPF): an Integration of Multi-Agent Path Finding and SAT Solving Technologies