@misc{indiciaeac635678f644,
  title = {Moving between high-quality optima using multi-satisfiability characteristics in hard-to-solve Max3Sat instances},
  author = {J. Piatek and M. W. Przewozniczek and F. Chicano and R. Tinós},
  year = {2025},
  doi = {10.1145/3712256.3726428},
  url = {https://arxiv.org/abs/2504.11864},
  note = {Source identifier: 2504.11864}
}