New local search methods for partial MaxSAT
From MaRDI portal
Publication:329035
DOI10.1016/J.ARTINT.2016.07.006zbMATH Open1386.68152OpenAlexW2484319280MaRDI QIDQ329035FDOQ329035
Authors: Shaowei Cai, Chuan Luo, Kaile Su, Jinkun Lin 
Publication date: 21 October 2016
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2016.07.006
Recommendations
- Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability
- A taxonomy of exact methods for partial Max-SAT
- CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability
- Solving (Weighted) Partial MaxSAT through Satisfiability Testing
- On Solving the Partial MAX-SAT Problem
Cites Work
- Paramils: an automatic algorithm configuration framework
- Theory and Applications of Satisfiability Testing
- Controlling a solver execution with the runsolver Tool
- Minimaxsat: an efficient weighted Max-SAT solver
- Local search for Boolean satisfiability with configuration checking and subscore
- CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability
- CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability
- Principles and practice of constraint programming. 20th international conference, CP 2014, Lyon, France, September 8--12, 2014. Proceedings
- Improving stochastic local search for SAT with a new probability distribution
- Iterative and core-guided maxsat solving: a survey and assessment
- MaxSAT by improved instance-specific algorithm configuration
- QMaxSAT: A partial Max-SAT solver
- SAT-based MaxSAT algorithms
- On Solving the Partial MAX-SAT Problem
- Stochastic local search. Foundations and applications.
- Portfolios in stochastic local search: efficiently computing most probable explanations in Bayesian networks
- Cores in Core Based MaxSat Algorithms: An Analysis
- Open-WBO: A Modular MaxSAT Solver,
- The first and second Max-SAT evaluations
- New inference rules for Max-SAT
- Exploiting Cycle Structures in Max-SAT
- Title not available (Why is that?)
- ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver
- Haplotype inference with pseudo-Boolean optimization
- A general scheme for automatic generation of search heuristics from specification \(dependencies^{*}\)
- Local search with edge weighting and configuration checking heuristics for minimum vertex cover
Cited In (12)
- Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability
- Core-boosted linear search for incomplete MaxSAT
- On Solving the Partial MAX-SAT Problem
- Title not available (Why is that?)
- Cooperative parallel SAT local search with path relinking
- CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability
- An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem
- New heuristic approaches for maximum balanced biclique problem
- Integrating multi-armed bandit with local search for MaxSAT
- On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem
- WPM3: an (in)complete algorithm for weighted partial MaxSAT
- Using the method of conditional expectations to supply an improved starting point for CCLS
Uses Software
This page was built for publication: New local search methods for partial MaxSAT
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q329035)
