Inicio  /  Algorithms  /  Vol: 14 Par: 1 (2021)  /  Artículo
ARTÍCULO
TITULO

A Dynamic Clause Specific Initial Weight Assignment for Solving Satisfiability Problems Using Local Search

Abdelraouf Ishtaiwi    
Feda Alshahwan    
Naser Jamal    
Wael Hadi and Muhammad AbuArqoub    

Resumen

For decades, the use of weights has proven its superior ability to improve dynamic local search weighting algorithms? overall performance. This paper proposes a new mechanism where the initial clause?s weights are dynamically allocated based on the problem?s structure. The new mechanism starts by examining each clause in terms of its size and the extent of its link, and its proximity to other clauses. Based on our examination, we categorized the clauses into four categories: (1) clauses small in size and linked with a small neighborhood, (2) clauses small in size and linked with a large neighborhood, (3) clauses large in size and linked with a small neighborhood, and (4) clauses large in size and linked with a large neighborhood. Then, the initial weights are dynamically allocated according to each clause category. To examine the efficacy of the dynamic initial weight assignment, we conducted an extensive study of our new technique on many problems. The study concluded that the dynamic allocation of initial weights contributes significantly to improving the search process?s performance and quality. To further investigate the new mechanism?s effect, we compared the new mechanism with the state-of-the-art algorithms belonging to the same family in terms of using weights, and it was clear that the new mechanism outperformed the state-of-the-art clause weighting algorithms. We also show that the new mechanism could be generalized with minor changes to be utilized within the general-purpose stochastic local search state-of-the-art weighting algorithms.

 Artículos similares

       
 
Anqing Wang, Longwei Li, Haoliang Wang, Bing Han and Zhouhua Peng    
In this paper, a swarm trajectory-planning method is proposed for multiple autonomous surface vehicles (ASVs) in an unknown and obstacle-rich environment. Specifically, based on the point cloud information of the surrounding environment obtained from loc... ver más

 
Shuang Che, Yan Chen, Longda Wang and Chuanfang Xu    
This work discusses the electric vehicle (EV) ordered charging planning (OCP) optimization problem. To address this issue, an improved dual-population genetic moth?flame optimization (IDPGMFO) is proposed. Specifically, to obtain an appreciative solution... ver más
Revista: Algorithms

 
Ping Xiao and Haiyan Wang    
In response to the optimal operation of ocean container ships, this paper presents a two-level planning model that takes into account carbon tax policies. This model translates the CO2 emissions of ships into carbon tax costs and aims to minimize the ove... ver más
Revista: Applied Sciences

 
Tianlong Li, Tao Zhang and Wenhua Li    
This paper presents a two-step approach for optimizing the configuration of a mobile photovoltaic-diesel-storage microgrid system. Initially, we developed a planning configuration model to ensure a balance between the mobility of components and a sustain... ver más
Revista: Applied Sciences

 
I. de Zarzà, J. de Curtò, Gemma Roig and Carlos T. Calafate    
In today?s complex economic environment, individuals and households alike grapple with the challenge of financial planning. This paper introduces novel methodologies for both individual and cooperative (household) financial budgeting. We firstly propose ... ver más
Revista: AI