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 124
- Downloads 0
Investigation on the Effect of Aluminium Smelting on Air Quality at Rusal Alscon Ikot Abasi, Akwa Ibom State
This research work addresses the impact of Aluminium smelting on air quality at Ikot Abasi environment arising from the operational activities of Rusal-Alscon plant. The research was conducted by the collection of in sit...
Nutritive Assessment of Milk from Fulani Herds in the Derived Savanna Zone of Nigeria
The quality assessment of fresh cow milk collected from Fulani herds in Ogbomoso, Arolu, Ife-Odan, Oyo and Iseyin in the derived Savanna Zone of Nigeria were carried out in a Completely randomized design with emphasis on...
Effect of Vegetable Based Lubricants on Equal Channel Angular Extrusion Pressure
This research aimed at investigating vegetable based lubricant as a replacement for chemical based lubricants on extrusion pressure of equal channel angular extrusion of Aluminum. In the process, aluminum alloy (Al 6063)...
Interaction of 2, 4-Dinitrophenol (2, 4-DNP) and 2, 4, 6-Trinitrophenol (2, 4, 6-TNP) with Metal Hexacyanoferrate (II) Complexes
Antimony, cadmium and zirconium hexacyanoferrates (II) were synthesized and characterized by elemental and spectral studies. Interaction of 2, 4-dinitrophenol (2, 4-DNP) and 2, 4, 6-trinitrophenol (2, 4, 6-TNP) with ant...
Arching of Railway Turnouts by Analytical Design Method
The paper involved the issue of arching of the railway turnouts. This is an issue which is given relatively less attention to scientific and research activities. Reference has been made to the book by Wladyslaw Rzepka, u...