Reducing the Cost of Exploring Neighborhood Areas in Dynamic Local Search for SAT
Abdelraouf Ishtaiwi, Ghassan Issa & Wael Hadi · Current Journal of Applied Science and Technology · 2018
Stochastic Local Search (SLS) algorithms are of great importance to many fields of Computer Sciences and Artificial Intelligence. This is due to their efficient performance when applied for solving randomly generated satisfiability problems (SAT). Our focus in the current work is...
Open access
Research Article
10.9734/CJAST/2017/38361