Heuristically Guided Compilation for Multi-Agent Path Finding