A refined branching algorithm for the maximum satisfiability problem
From MaRDI portal
Publication:2118385
Recommendations
- An improved branching algorithm for \((n,3)\)-MaxSAT based on refined observations
- An improved algorithm for the \((n, 3)\)-MaxSAT problem: asking branchings to satisfy the clauses
- Exact algorithms for MAX-SAT
- Resolution and linear CNF formulas: improved \((n,3)\)-\textsc{MaxSAT} algorithms
- scientific article; zbMATH DE number 2086240
Cites work
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 1522934 (Why is no real title available?)
- scientific article; zbMATH DE number 1405665 (Why is no real title available?)
- scientific article; zbMATH DE number 5493266 (Why is no real title available?)
- A new algorithm for parameterized MAX-SAT
- A new upper bound for \(( n , 3)\)-MAX-SAT
- A simplified NP-complete MAXSAT problem
- Approximating satisfiable satisfiability problems
- CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability
- Dealing with 4-variables by resolution: an improved MaxSAT algorithm
- Exact exponential algorithms.
- Greedy Algorithms for the Maximum Satisfiability Problem: Simple Algorithms and Inapproximability Bounds
- Improved exact algorithms for MAX-SAT
- Improved upper bounds for vertex cover
- Iterative and core-guided maxsat solving: a survey and assessment
- Kernelization: new upper and lower bound techniques
- Kernels for structural parameterizations of vertex cover -- case of small degree modulators
- New $\frac{3}{4}$-Approximation Algorithms for the Maximum Satisfiability Problem
- New Bounds for MAX-SAT by Clause Learning
- New Upper Bounds for Maximum Satisfiability
- New inference rules for Max-SAT
- On the complexity of \(k\)-SAT
- Scoring functions based on second level score for \(k\)-SAT with long clauses
- Some simplified NP-complete graph problems
- The complexity of satisfiability problems
- The configurable SAT solver challenge (CSSC)
- The nature of computation
Cited in
(7)- Branching constraint satisfaction problems and Markov decision problems compared
- Generalization of the subset sum problem and cubic forms
- Targeted Branching for the Maximum Independent Set Problem
- Recent Advances in Constraints
- New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability
- Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
- Using the method of conditional expectations to supply an improved starting point for CCLS
This page was built for publication: A refined branching algorithm for the maximum satisfiability problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118385)
