TY  - RPRT
TI  - Moving between high-quality optima using multi-satisfiability characteristics in hard-to-solve Max3Sat instances
AU  - J. Piatek
AU  - M. W. Przewozniczek
AU  - F. Chicano
AU  - R. Tinós
PY  - 2025
DO  - 10.1145/3712256.3726428
UR  - https://arxiv.org/abs/2504.11864
ID  - 2504.11864
ER  -