An improved genetic algorithm for solving 3-SAT problems based on effective restart and greedy strategy | IEEE Conference Publication | IEEE Xplore