Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams -- Gray, Binary and Real Valued Encodings: Quad Search and Locality Proofs -- A Comparison of Simulated Annealing with a Simple Evolutionary Algorithm -- NP-Completeness of Deciding Binary Genetic Encodability -- Compact Genetic Codes as a Search Strategy of Evolutionary Processes -- Asymptotic Convergence of Some …