Evolving binary decision diagrams using implicit neutrality | IEEE Conference Publication | IEEE Xplore