Quick Menu

Upcoming Journals

Current Journal of Applied Science and Technology

Current Journal of Applied Science and Technology, ISSN: 2457-1024; 2231-0843 (old),Vol.: 25, Issue.: 2

Original-research-article

Reducing the Cost of Exploring Neighborhood Areas in Dynamic Local Search for SAT

 

Abdelraouf Ishtaiwi1*, Ghassan Issa1 and Wael Hadi1

1Faculty of IT, School of CS, University of Petra, Amman, Jordan.

 

Article Information
Editor(s):
(1) Wei Wu, Professor, Department of Applied Mathematics, Dalian University of Technology, China.
Reviewers:
(1) Sanjib Kumar Datta, University of Kalyani, India.
(2) Utku Kose, Suleyman Demirel University, Turkey.
(3) K. Ashwini, Visvesvaraya Technological University, India.
(4) Sofiya Ostrovska, Atilim University, Turkey.
Complete Peer review History: http://www.sciencedomain.org/review-history/22549

 

Abstracts

 

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.

 

Keywords :

Artificial intelligence; Boolean satisfiability; search algorithms.

 

Full Article - PDF    Page 1-9    Article Metrics

 

DOI : 10.9734/CJAST/2017/38361

Review History    Comments

Search this site

Advanced Search

Announcement & News

ISI Thomson Reuters selected British Journal of Pharmaceutical Research for Emerging Sources Citation Index

We are delighted to inform that ISI Thomson Reuters selected British Journal of Pharmaceutical Resea...

SCOPUS selected Annual Research & Review in Biology (ARRB)

We are delighted to inform that famous indexing organization SCOPUS (from Elsevier) selected  A...

Index Copernicus Evaluation Result Released

We are delighted to inform that Index Copernicus (a leading indexing organization from Pol...

Journal Repository (JR): Permanent Digital Archiving of SDI journals

SDI is happy to announce that all our journals are now permanently archived in Journal Repository (J...

SDI journal got 35th ranking in Publons

We are delighted to announce (as of 04/01/2016) that British Journal of Medicine and Medical Re...

Growth of SDI and world publication market

As of 2014, total 25,064 journals are competing in World market of journal publication. In 2011, tot...

Science (IF: 31) report confirmed the high standard of SDI journal

As per a recent report (Link) of Science journal (present Impact factor 31), one of our journal (Bri...

SDI introduced Post-publication peer review by its comment section

SDI journals encourage Post-publication peer review by its comment section   Policy details a...

SDI promotes transparent Advanced OPEN peer review

We have migrated to transparent and toughest ‘Advanced OPEN peer review’ system (...



SCIENCEDOMAIN Awards

  • No Awards listed.

Browser Compatibility : Mozila firefox, Google Crome and IE 7 & above. Creative Commons License Terms & Condition   |   Privacy Policy   |   Join Us   |   Help   |   Contact Us
© Copyright 2010-2018, SCIENCEDOMAIN international. All rights reserved.