Evolutionary-Reduced Ordered Binary Decision Diagram. - Hossein Moeinzadeh; Mehdi Mohammadi; Hossein Pazhoumand-dar; Arman Mehrbakhsh; Navid Kheibar; Nasser Mozayani (Asia International Conference on Modelling and Simulation, 2009)