CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability

DOI10.1109/TC.2014.2346196MaRDI QIDQ2982183zbMATH OpenFDO

Authors Chuan Luo, Shaowei Cai, Wei Wu, Zhong Jie, Kaile Su

Publication date 16 May 2017

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TC.2014.2346196

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cited in

(30)

• MLQCC: an improved local search algorithm for the set k‐covering problem
• An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem
• SCCWalk: an efficient local search algorithm and its improvements for maximum weight clique problem
• Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability
• Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group
• \(\boldsymbol{borealis}\) -- a generalized global update algorithm for Boolean optimization problems
• Breaking Cycle Structure to Improve Lower Bound for Max-SAT
• The Normalized Autocorrelation Length of Random Max  $$r$$ -Sat Converges in Probability to $$(1-1/2^r)/r$$
• A novel algorithm for Max Sat calling MOCE to order
• Neighbourhood Clause Weight Redistribution in Local Search for SAT
• CCLS
• New local search methods for partial MaxSAT
• Probabilistic characterization of random Max r-Sat
• New stochastic local search approaches for computing preferred extensions of abstract argumentation
• Cooperative parallel SAT local search with path relinking
• An efficient local search algorithm for solving maximum edge weight clique problem in large graphs
• CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability
• On the counting version of the maximum 2-satisfiability problem
• An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem
• Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism
• Local search for diversified top-\(k\) clique search problem
• An improved configuration checking-based algorithm for the unicost set covering problem
• Voting on multi-issue domains with conditionally lexicographic preferences
• Volt: a lazy grounding framework for solving very large MaxSAT instances
• CHAMP: a multipass algorithm for Max Sat based on saver variables
• Go-MOCE: greedy order method of conditional expectations for Max Sat
• \textsf{Open-WBO-Inc}: approximation strategies for incomplete weighted MaxSAT
• WPM3: an (in)complete algorithm for weighted partial MaxSAT
• Using the method of conditional expectations to supply an improved starting point for CCLS
• An efficient heuristic algorithm for solving connected vertex cover problem

This page was built for publication: CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2982183)