Searching optimal ROBDDs using methodologies based on evolutionary algorithms | Publicación