Tailoring Local Search for Partial MaxSAT
File version
Author(s)
Luo, Chuan
Thornton, John
Su, Kaile
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Carla E. Brodley, Peter Stone
Date
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