Moving between high-quality optima using multi-satisfiability characteristics in hard-to-solve Max3Sat instances. - Jedrzej Piatek; Michal Witold Przewozniczek; Francisco Chicano; Renato Tinós (GECCO, 2025)