An application of genetic algorithms to the ROBDD optimization | Publicación