Exploiting the Structure of Unsatisfiable Cores in MaxSAT
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Main Track. Pages 283-288.
Abstract
We propose a new approach that exploits the good properties of core-guided and model-guided MaxSAT solvers. In particular, we show how to effectively exploit the structure of unsatisfiable cores in MaxSAT instances. Experimental results on industrial instances show that the proposed approach outperforms both complete and incomplete state-of-the-art MaxSAT solvers at the last international MaxSAT Evaluation in terms of robustness and total number of solved instances.
Carlos Ansótegui, Frédéric Didier, and Joel Gabàs. 2015. Exploiting the Structure of Unsatisfiable Cores in MaxSAT. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15. IJCAI, 283–288. https://ijcai.org/proceedings/2015/46
Ansótegui, C., Didier, F., & Gabàs, J. (2015). Exploiting the Structure of Unsatisfiable Cores in MaxSAT. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15 (pp. 283–288). IJCAI. https://ijcai.org/proceedings/2015/46
@inproceedings{ijcai2015p46,
title = {Exploiting the Structure of Unsatisfiable Cores in MaxSAT},
author = {Ansótegui, Carlos and Didier, Frédéric and Gabàs, Joel},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI-15}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Qiang Yang and Michael Wooldridge},
pages = {283--288},
year = {2015},
month = {7},
note = {Main Track},
url = {https://ijcai.org/proceedings/2015/46},
}
TY - CPAPER TI - Exploiting the Structure of Unsatisfiable Cores in MaxSAT AU - Ansótegui, Carlos AU - Didier, Frédéric AU - Gabàs, Joel T2 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15 PB - International Joint Conferences on Artificial Intelligence PY - 2015 SP - 283 EP - 288 UR - https://ijcai.org/proceedings/2015/46 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
