{"type":"ScholarlyArticle","title":"Exploiting the Structure of Unsatisfiable Cores in MaxSAT","authors":[{"name":"Carlos Ansótegui","slug":"carlos-ansotegui","given":"Carlos","family":"Ansótegui","affiliation":""},{"name":"Frédéric Didier","slug":"frederic-didier","given":"Frédéric","family":"Didier","affiliation":""},{"name":"Joel Gabàs","slug":"joel-gabas","given":"Joel","family":"Gabàs","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2015/46","pdf":"https://ijcai.org/proceedings/2015/0046.pdf","markdown":"https://ijcai.org/proceedings/2015/46.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/46","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Constraints, Satisfiability, and Search","track":"Main Track","number":46,"pages":{"first":283,"last":288},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}