On the Tour Towards DPLL(MAPF) and Beyond