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 98
- Downloads 0
Meat Hygiene and Associated Health Hazards Awareness among Butchers and Meat Retailers in Jammu District of Jammu and Kashmir
Meat is a perishable commodity and therefore from production till consumption it needs to be innocuous. Many pathogenic micro-organisms grow in the meat if hygienic procedures are not followed. Meat acts as a vehicle for...
General and Specific Combining Ability for Nine Morphologic Characters in Round Brinjal (Solanum melongena L.)
A study was undertaken to estimate general and specific combining in brinjal through diallel analysis involving 6 parents. The combining ability analysis revealed highly significant differences among the treatments for a...
Design of Adaptive Control System Based on Model Reference Stick Slip Vibration
The stick-slip vibration is a common vibration mode of the drill string system during the drilling and it is extremely destructive. The drilling efficiency will be greatly reduced, if the drill gets a bit damaged and the...
Removal of Congo Red from Aqueous Solutions Using Fly Ash Modified with Hydrochloric Acid
The adsorption of Congo Red dye onto fly ash modified with various concentrations of Hydrochloric acid (HCFA-4,HCFA-3,HCFA-2 and HCFA-1)was studied. The effect of contact time and concentration were investigated using a...
Potential of Magnetic Sand as Catalyst for the Heterogeneous Transesterification of Luffa (Luffa cylindrica) Seed Oil to Biodiesel
The catalytic activity of crude Magnetic sand obtained from Michika Local Government Area of Adamawa State, Nigeria, in converting luffa oil to its methylester was investigated. The X-ray diffraction spectra have confirm...