Learning heuristics for OKFDD minimization by evolutionary algorithms | IEEE Conference Publication | IEEE Xplore