CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability

, , &
Artificial Intelligence 243 (C):26-44 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2016.11.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability.Zhao Xing & Weixiong Zhang - 2005 - Artificial Intelligence 164 (1-2):47-80.
SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem.Yiyuan Wang, Shaowei Cai, Jiejiang Chen & Minghao Yin - 2020 - Artificial Intelligence 280 (C):103230.
Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability.Jeremias Berg & Matti Järvisalo - 2017 - Artificial Intelligence 244 (C):110-142.
Local search for Boolean Satisfiability with configuration checking and subscore.Shaowei Cai & Kaile Su - 2013 - Artificial Intelligence 204 (C):75-98.
New local search methods for partial MaxSAT.Shaowei Cai, Chuan Luo, Jinkun Lin & Kaile Su - 2016 - Artificial Intelligence 240 (C):1-18.
MAX-SAT Problem using Hybrid Harmony Search Algorithm.Iyad Abu Doush, Amal Lutfi Quran, Mohammed Azmi Al-Betar & Mohammed A. Awadallah - 2018 - Journal of Intelligent Systems 27 (4):643-658.
Multi-Level Refinement Algorithm of Weighted Hypergraph Partitioning Problem.Ming Leng, Ling-yu Sun & Kai-Qiang Guo - 2017 - Journal of Intelligent Systems 26 (3).
A PC-Style Markov Blanket for High Dimensional Datasets.Joe Ramsey - unknown
Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications.François Schwarzentruber - 2015 - Journal of Logic, Language and Information 24 (4):375-408.
Particle Swarm Optimization with Enhanced Global Search and Local Search.Jie Wang & Hongwen Li - 2017 - Journal of Intelligent Systems 26 (3).
Best Polynomial Harmony Search with Best β-Hill Climbing Algorithm.Eugene Santos & Iyad Abu Doush - 2020 - Journal of Intelligent Systems 30 (1):1-17.
WPM3: An (in)complete algorithm for weighted partial MaxSAT.Carlos Ansótegui & Joel Gabàs - 2017 - Artificial Intelligence 250 (C):37-57.
An Enhanced Differential Evolution Algorithm with Fast Evaluating Strategies for TWT-NFSP with SSTs and RTs.Rong Hu, Xing Wu, Bin Qian, Jian L. Mao & Huai P. Jin - 2020 - Complexity 2020:1-11.
An Optimized K-Harmonic Means Algorithm Combined with Modified Particle Swarm Optimization and Cuckoo Search Algorithm.Nacer Farajzadeh & Asgarali Bouyer - 2019 - Journal of Intelligent Systems 29 (1):1-18.
Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability.Shaowei Cai & Zhendong Lei - 2020 - Artificial Intelligence 287 (C):103354.

Analytics

Added to PP
2020-12-22

Downloads
2 (#1,755,150)

6 months
2 (#1,157,335)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

SAT-based MaxSAT algorithms.Carlos Ansótegui, Maria Luisa Bonet & Jordi Levy - 2013 - Artificial Intelligence 196 (C):77-105.

Add more references