Impact of Extended Clauses on Local Search Solvers for Max-SAT

Federico Heras

2025

Abstract

Previous research has demonstrated that several techniques based on the resolution rule for Max-SAT are effective in improving results and boost the search, either as a preprocessing step or when embedded into specific Max-SAT solving algorithms, such as branch-and-bound and Stochastic Local Search (abbreviated SLS) algorithms. These techniques typically lead to a simplified and reduced Max-SAT formula, thereby enabling the algorithms to find solutions more efficiently. In this paper, we take a different approach by introducing a preprocessing step that, in contrast to prior methods, increases the size of the Max-SAT formula based on the Extension Rule. Our objective is to examine how this expansion of the problem instance impacts the performance of SLS algorithms. The empirical results indicate that for a subset of SLS algorithms, this approach yields improved solutions. This finding is significant as it challenges the conventional wisdom that smaller, simplified formulas are always better for all kind of solvers.

Paper Citation

in Harvard Style

Heras F. (2025). Impact of Extended Clauses on Local Search Solvers for Max-SAT. In Proceedings of the 17th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART; ISBN 978-989-758-737-5, SciTePress, pages 78-85. DOI: 10.5220/0013078200003890

in Bibtex Style

@conference{icaart25,
author={Federico Heras},
title={Impact of Extended Clauses on Local Search Solvers for Max-SAT},
booktitle={Proceedings of the 17th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART},
year={2025},
pages={78-85},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013078200003890},
isbn={978-989-758-737-5},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 17th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART
TI - Impact of Extended Clauses on Local Search Solvers for Max-SAT
SN - 978-989-758-737-5
AU - Heras F.
PY - 2025
SP - 78
EP - 85
DO - 10.5220/0013078200003890
PB - SciTePress