Cargando…

A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems

The simplicity of the maximum satisfiability problem (MAX-SAT) combined with its applicability in many areas of artificial intelligence and computing science made it one of the fundamental optimization problems. This NP-complete problem refers to the task of finding a variable assignment that satisf...

Descripción completa

Detalles Bibliográficos
Autor principal:	Bouhmala, Noureddine
Formato:	Online Artículo Texto
Lenguaje:	English
Publicado:	Hindawi Publishing Corporation 2014
Materias:	Research Article
Acceso en línea:	https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4142167/ https://www.ncbi.nlm.nih.gov/pubmed/25177732 http://dx.doi.org/10.1155/2014/798323

Ejemplares similares

MaxSAT Resolution and Subcube Sums
por: Filmus, Yuval, et al.
Publicado: (2020)

Incomplete MaxSAT approaches for combinatorial testing
por: Ansótegui, Carlos, et al.
Publicado: (2022)

Interpretable decision trees through MaxSAT
por: Alòs, Josep, et al.
Publicado: (2022)

Initial Solution Generation and Diversified Variable Picking in Local Search for (Weighted) Partial MaxSAT
por: Zhang, Zaijun, et al.
Publicado: (2022)

Application of Max-SAT-based ATPG to optimal cancer therapy design
por: Lin, Pey-Chang Kent, et al.
Publicado: (2012)

Solving the Min-Max Clustered Traveling Salesmen Problem Based on Genetic Algorithm
por: Bao, Xiaoguang, et al.
Publicado: (2023)

Optimization of a molten iron scheduling problem with uncertain processing time using variable neighborhood search algorithm
por: Liu, Linyu, et al.
Publicado: (2022)

Improvement of Quantum Approximate Optimization Algorithm for Max–Cut Problems
por: Villalba-Diez, Javier, et al.
Publicado: (2021)

A Neighborhood Grid Clustering Algorithm for Solving Localization Problem in WSN Using Genetic Algorithm
por: Chen, Junfeng, et al.
Publicado: (2022)

Abstract Cores in Implicit Hitting Set MaxSat Solving
por: Berg, Jeremias, et al.
Publicado: (2020)

A Multistrategy Artificial Bee Colony Algorithm Enlightened by Variable Neighborhood Search
por: Xiang, Wan-li, et al.
Publicado: (2019)

Modeling and solving staff scheduling with partial weighted maxSAT
por: Demirović, Emir, et al.
Publicado: (2017)

A continuous-time MaxSAT solver with high analog performance
por: Molnár, Botond, et al.
Publicado: (2018)

Approximation Hardness of Short Symmetric Instances of MAX-3SAT
por: Berman, P, et al.
Publicado: (2004)

The backtracking survey propagation algorithm for solving random K-SAT problems
por: Marino, Raffaele, et al.
Publicado: (2016)

Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems
por: Larrosa, Javier, et al.
Publicado: (2020)

A novel chaotic and neighborhood search-based artificial bee colony algorithm for solving optimization problems
por: Xiao, Wen-sheng, et al.
Publicado: (2023)

Using the max-p regions problem algorithm to define regions for energy system modelling
por: Fleischer, Christian Etienne
Publicado: (2021)

Novel variable neighborhood search heuristics for truck management in distribution warehouses problem
por: Sarhan, Akram Y., et al.
Publicado: (2023)

An Integrated Method Based on PSO and EDA for the Max-Cut Problem
por: Lin, Geng, et al.
Publicado: (2016)

Memory-based variable neighborhood search for green vehicle routing problem with passing-by drivers: a comprehensive perspective
por: Cao, Lei, et al.
Publicado: (2022)

THE EFFECTS OF NEIGHBORHOOD DEPRIVATION AND PERCEIVED NEIGHBORHOOD PROBLEMS ON DEPRESSIVE SYMPTOMS
por: Choi, Jean, et al.
Publicado: (2022)

A Modified MinMax k-Means Algorithm Based on PSO
por: Wang, Xiaoyan, et al.
Publicado: (2016)

Max-linear Systems Theory and Algorithms
por: Butkovič, Peter
Publicado: (2010)

The Neighborhood Effect Averaging Problem (NEAP): An Elusive Confounder of the Neighborhood Effect
por: Kwan, Mei-Po
Publicado: (2018)

Robust min-max regret covering problems
por: Coco, Amadeu A., et al.
Publicado: (2022)

A Novel Algorithm for Imbalance Data Classification Based on Neighborhood Hypergraph
por: Hu, Feng, et al.
Publicado: (2014)

A Direct Mapping of Max k-SAT and High Order Parity Checks to a Chimera Graph
por: Chancellor, N., et al.
Publicado: (2016)

Selecting Some Variables to Update-Based Algorithm for Solving Optimization Problems
por: Dehghani, Mohammad, et al.
Publicado: (2022)

Variable Neighborhood Search for Multi-Cycle Medical Waste Recycling Vehicle Routing Problem with Time Windows
por: Zhang, Wanting, et al.
Publicado: (2022)

A global-local neighborhood search algorithm and tabu search for flexible job shop scheduling problem
por: Escamilla Serna, Nayeli Jazmin, et al.
Publicado: (2021)

System Resource Allocation and Rural Industry Revitalization Based on Max-Min Algorithm
por: Dai, Qiongyao
Publicado: (2022)

A GPU-Based Implementation of the Firefly Algorithm for Variable Selection in Multivariate Calibration Problems
por: de Paula, Lauro C. M., et al.
Publicado: (2014)

A variable neighborhood search for the last-mile delivery problem during major infectious disease outbreak
por: Jiang, Li, et al.
Publicado: (2021)

Bi-Objective Adaptive Large Neighborhood Search Algorithm for the Healthcare Waste Periodic Location Inventory Routing Problem
por: Aydemir-Karadag, Ayyuce
Publicado: (2021)

SAT-316 MAX-Related Bilateral Pheochromocytoma Associated with Subclinical Adrenal Insufficiency: A Case Report
por: Lundgrin, Erika, et al.
Publicado: (2019)

A Max-Flow Based Algorithm for Connected Target Coverage with Probabilistic Sensors
por: Shan, Anxing, et al.
Publicado: (2017)

Improved rough approximations based on variable J-containment neighborhoods
por: Zheng, Tingting
Publicado: (2023)

A Modified Sine-Cosine Algorithm Based on Neighborhood Search and Greedy Levy Mutation
por: Qu, Chiwen, et al.
Publicado: (2018)

Allocation Variable-Based Probabilistic Algorithm to Deal with Label Switching Problem in Bayesian Mixture Models
por: Pan, Jia-Chiun, et al.
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_brm21sumtfil3djk526flnmt7n