Relaxed Exists-Step Plans in Planning as SMT | Publicación