Genetic Algorithm for Ordered Decision Diagrams Optimization