Better understandings and configurations in MaxSAT stochastic local search solvers via anytime performance analysis

Author(s):
Ye, F.; Luo, C.; Cai, S.
Published
2025
Publication type
Article / Letter to editor
Date issued
2025-04-11
Language
English
Publisher
Association for the Advancement of Artificial Intelligence (AAAI)
Is part of
Proceedings of the AAAI Conference on Artificial Intelligence (2025), Vol. 39, no. 25, p. 27153-27160
hdl
1887/4245879
doi
10.1609/aaai.v39i25.34923