Improving WalkSAT for Random k-Satisfiability Problem with k > 3
File version
Author(s)
Su, Kaile
Luo, Chuan
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Marie desJardins and Michael L. Littman
Date
Size
File type(s)
Location
Bellevue, Washington, United States
License
Abstract
Stochastic local search (SLS) algorithms are well known for their ability to efficiently find models of random instances of the Boolean satisfiablity (SAT) problem. One of the most famous SLS algorithms for SAT is WalkSAT, which is an initial algorithm that has wide influence among modern SLS algorithms. Recently, there has been increasing interest in WalkSAT, due to the discovery of its great power on large random 3-SAT instances. However, the performance of WalkSAT on random
Journal Title
Conference Title
Twenty-Seventh AAAI Conference on Artificial Intelligence Proceedings
Book Title
Edition
Volume
204
Issue
Thesis Type
Degree Program
School
Publisher link
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