Brys, et al.. Solving Satisfiability in Fuzzy Logics by Mixing CMA-ES. ACM Press, 2013, doi:10.1145/2463372.2463510.