Meta-Evolutionary Algorithms and recombination operators for satisfiability solving in fuzzy logics | IEEE Conference Publication | IEEE Xplore