Guidance for optimization-based synthesis tools | Publicación