On robustness of permutations sequencing operators: Solving satisfiability of random 3 — CNFs by simple crossover | IEEE Conference Publication | IEEE Xplore