Markov chain analysis of genetic algorithms for 3-SAT problem | IEEE Conference Publication | IEEE Xplore