Weight Redistribution for Unweighted MAX-SAT

View/ Open
Author(s)
Ishtaiwi, Abdelraouf
Thornton, John
Sattar, Abdul
Griffith University Author(s)
Year published
2007
Metadata
Show full item recordAbstract
Many real-world problems are over-constrained and require search techniques adapted to optimising cost functions rather than search- ing for consistency. This makes the MAX-SAT problem an important area of research for the satisility (SAT) community. In this study we perform an empirical analysis of several of the best performing SAT local search techniques in the domain of unweighted MAX-SAT. In particular, we test two of the most recently developed SAT clause weight redistri- bution algorithms, DDFW and DDFW+, against three more well-known techniques (RSAPS, AdaptNovelty+ and PAWS). Based on an empir- ical study ...
View more >Many real-world problems are over-constrained and require search techniques adapted to optimising cost functions rather than search- ing for consistency. This makes the MAX-SAT problem an important area of research for the satisility (SAT) community. In this study we perform an empirical analysis of several of the best performing SAT local search techniques in the domain of unweighted MAX-SAT. In particular, we test two of the most recently developed SAT clause weight redistri- bution algorithms, DDFW and DDFW+, against three more well-known techniques (RSAPS, AdaptNovelty+ and PAWS). Based on an empir- ical study across a range of previously studied problems we conclude that DDFW is the most promising algorithm in terms of robust average performance.
View less >
View more >Many real-world problems are over-constrained and require search techniques adapted to optimising cost functions rather than search- ing for consistency. This makes the MAX-SAT problem an important area of research for the satisility (SAT) community. In this study we perform an empirical analysis of several of the best performing SAT local search techniques in the domain of unweighted MAX-SAT. In particular, we test two of the most recently developed SAT clause weight redistri- bution algorithms, DDFW and DDFW+, against three more well-known techniques (RSAPS, AdaptNovelty+ and PAWS). Based on an empir- ical study across a range of previously studied problems we conclude that DDFW is the most promising algorithm in terms of robust average performance.
View less >
Conference Title
AI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS
Volume
4830
Copyright Statement
© 2007 Springer. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. The original publication is available at www.springerlink.com.