A Stochastic Local Search Algorithm for the Partial Max-SAT Problem Based on Adaptive Tuning and Variable Depth Neighborhood Search

A Stochastic Local Search Algorithm for the Partial Max-SAT Problem Based on Adaptive Tuning and Variable Depth Neighborhood Search

The Partial Max-SAT (PMSAT) problem is an optimization variant of the well-known Propositional Boolean Satisfiability (SAT) problem. It holds an important place in theory and practice, because a huge number of real-world problems, such as timetabling, planning, routing, bioinformatics, fault diagnos...

Full description

Bibliographic Details
Main Authors: Haifa Hamad Alkasem, Mohamed El Bachir Menai
Format: Article
Language:English
Published: IEEE 2021-01-01
Series:IEEE Access
Subjects:
Partial Max-SAT
adaptive parameter tuning
variable depth search
stochastic local search
Max-SAT evaluation
Online Access:https://ieeexplore.ieee.org/document/9386095/

Internet

https://ieeexplore.ieee.org/document/9386095/

Similar Items