Fast Task Planning with Neuro-Symbolic Relaxation