OEA_SAT: An Organizational Evolutionary Algorithm for solving SATisfiability problems | IEEE Conference Publication | IEEE Xplore