Redirigiendo al acceso original de articulo en 17 segundos...
Inicio  /  Algorithms  /  Vol: 14 Par: 4 (2021)  /  Artículo
ARTÍCULO
TITULO

Dynamic Initial Weight Assignment for MaxSAT

Abdelraouf Ishtaiwi and Qasem Abu Al-Haija    

Resumen

The Maximum Satisfiability (Maximum Satisfiability (MaxSAT)) approach is the choice, and perhaps the only one, to deal with most real-world problems as most of them are unsatisfiable. Thus, the search for a complete and consistent solution to a real-world problem is impractical due to computational and time constraints. As a result, MaxSAT problems and solving techniques are of exceptional interest in the domain of Satisfiability (Satisfiability (SAT)). Our research experimentally investigated the performance gains of extending the most recently developed SAT dynamic Initial Weight assignment technique (InitWeight) to handle the MaxSAT problems. Specifically, we first investigated the performance gains of dynamically assigning the initial weights in the Divide and Distribute Fixed Weights solver (DDFW+Initial Weight for Maximum Satisfiability (DDFW+InitMaxSAT)) over Divide and Distribute Fixed Weights solver (DDFW) when applied to solve a wide range of well-known unweighted MaxSAT problems obtained from DIMACS. Secondly, we compared DDFW+InitMaxSAT?s performance against three known state-of-the-art SAT solving techniques: YalSAT, ProbSAT, and Sparrow. We showed that the assignment of dynamic initial weights increased the performance of DDFW+InitMaxSAT against DDFW by an order of magnitude on the majority of problems and performed similarly otherwise. Furthermore, we showed that the performance of DDFW+InitMaxSAT was superior to the other state-of-the-art algorithms. Eventually, we showed that the InitWeight technique could be extended to handling partial MaxSAT with minor modifications.

 Artículos similares

       
 
Jacopo Beretta, Andres Cardozo, Nicola Paletta, Antonio Chiariello and Marika Belardo    
The T-WING project, a CS2-CPW (Clean Sky 2 call for core partner waves) research initiative within FRC IADP (Fast Rotor-Craft Innovative Aircraft Demonstrator Platform), focuses on developing, qualifying and testing the new wing of the Next-Generation Ci... ver más
Revista: Aerospace

 
Ivan Kostic, Aleksandar Simonovic, Olivera Kostic, Du?an Ivkovic and Dragoljub Tanovic    
This paper presents the second stage of a tandem fixed-wing unmanned aerial vehicle (UAV) aerodynamic development. In the initial stage, the UAV was optimized by analyzing its characteristics only in symmetrical flight conditions. Posted requirements wer... ver más
Revista: Aerospace

 
Yan Xu, Yilong Yang, He Huang, Gang Chen, Guangxing Li and Huajian Chen    
To improve the cushioning performance of soft-landing systems, a novel origami-inspired combined cushion airbag is proposed. The geometry size, initial pressure, and exhaust vent area of the cushion airbags are designed preliminarily using a theoretical ... ver más
Revista: Aerospace

 
Ryan Good, David Nguyen, Hossein Bonakdari, Andrew Binns and Bahram Gharabaghi    
Predicting morphological adjustments in alluvial meandering streams remains a challenging task due to the complex nature of the governing inter-related dynamic flow and sediment transport processes. This difficulty is increased in streams with irregular ... ver más
Revista: Water

 
Zhaohui Meng, Sihai Hu, Ran Sun, Chengzhen Meng, Yaoguo Wu and Xiaofeng Sun    
The transport of mobile colloidal particles with organic pollutants in porous media has attracted considerable attention. Aniline and 2,4,6-trinitrotoluene (TNT), as aromatic compounds and key components of energetic materials, are continuously released ... ver más
Revista: Water