Monte Carlo tree search for feature model analyses | Publicación