Reducing the Cost of Exploring Neighborhood Areas in Dynamic Local Search for SAT
Journal Title: Current Journal of Applied Science and Technology - Year 2017, Vol 25, Issue 2
Abstract
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 on one of the SLS dynamic weighting approaches known as multi-level weight distribution (mulLWD). We experimentally investigated the performance and the weight behaviors of mulLWD. Based on our experiments, we observed that the 2nd level weights movements could lead to poor performance of mulLWD, especially when applied for solving large and harder SAT problems. Therefore, we developed a new heuristic that could reduce the cost of the 2nd level neighborhood exploitation known as partial multi-level weight distribution mulLWD+. Experimental results indicate that mulLWD+ heuristic has significantly better performance than mulLWD in a wide range of SAT problems.
Authors and Affiliations
Abdelraouf Ishtaiwi, Ghassan Issa, Wael Hadi
Keywords
Related Articles
- EP ID EP318482
- DOI 10.9734/CJAST/2017/38361
- Views 139
- Downloads 0
Effectiveness of Interactive Video Conferencing through Village Resource Centres of Karnataka, India: Farmers’ Feedback
Interactive video conferencing through satellite is an effective means of transferring the latest technologies to farmers. A study on the effectiveness of interactive video conferencing with farmers through VRCs for agri...
Maximum Power Point Tracking for Satellite Solar Power Load Matching under Different Light Panels
This paper presents, providing the matched load solar power plants satellite with multi-directional panels of photovoltaic cells under different light panels by introducing the method of tracking the point of maximum pow...
Estimating the Effect of Load-shedding on Outage Rate in a Low Voltage Network
It has been observed that Low Voltage (LV) network in Ado-Ekiti have high outage frequencies and durations. There have been incessant power outages, voltage drop and rise during peak and off–peak periods on the LV networ...
Profitability of Agroforestry System: The Case of Udham Singh Nagar District of Uttarakhand State, India
The paper has examined the profitability of the prevailing agroforestry system in Udham Singh Nagar district of Uttarakhand state. Two blocks of Udham Singh Nagar district was selected for study purpose. In which it was...
Optimal Third Order Rotatable Designs Constructed from Balanced Incomplete Block Design (BIBD)
In the design of experiments for estimating statistical models, optimal designs allow parameters to be estimated without bias and with minimum variance. Optimal designs are experimental designs that are generated based o...