Automated design of boolean satisfiability solvers employing evolutionary computation