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 135
- Downloads 0
Weed Control in Direct Seeded Rice Using New Herbicide Combination under Indian Tropical Condition
Direct seeded rice (DSR) is gaining momentum in India due to acute labour shortage during the peak period of transplanting and shortage of water. Weeds are the major biological constrain in DSR and its management contrib...
Performance of Sand and Wood Fibres in Tertiary Treatment of Effluent Discharged by Lagoons
In Burkina Faso, as in most developing countries, access to water and sanitation remains a challenge. This justifies the reuse of wastewater to provide additional quantities of water for different uses to reduce water de...
Adaptive Time Steps Runge-Kutta Methods: Comparative Analysis of Simulation Time in Nonlinear and Harmonically Excited Pendulum and Duffing Oscillators
Time management without integrity compromise is an integral part of good engineering practice. The present study investigated for the required computation time in nonlinear and harmonically excited oscillators (Pendulum...
Modelling and Optimization of Laser Alloyed AISI 422 Stainless Steel Using Taguchi Approach and Response Surface Model (RSM)
This research paper demonstrates the application of Taguchi method and Response surface Methodology (RSM) for optimization of alloyed depth in laser alloying of AISI 422 martensitic stainless steel. The experiment was de...
Implications on Privacy and Forensics on Current Browsers
To date, the evolution of Web-related technologies has been mainly driven by the user’s quest for ever faster and more intuitive World Wide Web (WWW). One of the most recent stages of this evolution is built around the i...