Tailoring Local Search for Partial MaxSAT

No Thumbnail Available
File version
Author(s)
Cai, Shaowei
Luo, Chuan
Thornton, John
Su, Kaile
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Carla E. Brodley, Peter Stone

Date
2014
Size
File type(s)
Location

Qu颥c, Canada

License
Abstract

Partial MaxSAT (PMS) is a generalization to SAT and MaxSAT. Many real world problems can be encoded into PMS in a more natural and compact way than SAT and MaxSAT. In this paper, we propose new ideas for local search for PMS, which mainly rely on the distinction between hard and soft clauses. We use these ideas to develop a local search PMS algorithm called {/it Dist}. Experimental results on PMS benchmarks from MaxSAT Evaluation 2013 show that {/it Dist} significantly outperforms state-of-the-art PMS algorithms, including both local search algorithms and complete ones, on random and crafted benchmarks. For the industrial benchmark, {/it Dist} dramatically outperforms previous local search algorithms and is comparable with complete algorithms.

Journal Title
Conference Title

Proceedings of Twenty-Eighth AAAI Conference on Artificial Intelligence

Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
DOI
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject

Artificial intelligence not elsewhere classified

Persistent link to this record
Citation