Improved exact algorithms for MAX-SAT
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1629855 (Why is no real title available?)
- scientific article; zbMATH DE number 3874667 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 1302170 (Why is no real title available?)
- scientific article; zbMATH DE number 1305487 (Why is no real title available?)
- scientific article; zbMATH DE number 1341905 (Why is no real title available?)
- scientific article; zbMATH DE number 1114009 (Why is no real title available?)
- scientific article; zbMATH DE number 2044921 (Why is no real title available?)
- scientific article; zbMATH DE number 2081099 (Why is no real title available?)
- scientific article; zbMATH DE number 1507224 (Why is no real title available?)
- scientific article; zbMATH DE number 1508265 (Why is no real title available?)
- scientific article; zbMATH DE number 1522934 (Why is no real title available?)
- scientific article; zbMATH DE number 1834643 (Why is no real title available?)
- scientific article; zbMATH DE number 1445292 (Why is no real title available?)
- A Computing Procedure for Quantification Theory
- A deterministic \((2-2/(k+1))^{n}\) algorithm for \(k\)-SAT based on local search.
- A general method to speed up fixed-parameter-tractable algorithms
- Algorithms for maximum independent sets
- Algorithms for the maximum satisfiability problem
- An efficient exact algorithm for constraint bipartite vertex cover
- An improved fixed-parameter algorithm for vertex cover
- Fixed parameter algorithms for DOMINATING SET and related problems on planar graphs
- Improved algorithms for 3-coloring, 3-edge-coloring, and constraint satisfaction.
- Integrity constraints in logic databases
- New Upper Bounds for Maximum Satisfiability
- On fixed-parameter tractability and approximability of NP optimization problems
- Parameterizing above Guaranteed Values: MaxSat and MaxCut
- Vertex cover: Further observations and further improvements
- Which problems have strongly exponential complexity?
Cited in
(29)- New upper bounds for MAX-2-SAT and MAX-2-CSP w.r.t. the average variable degree
- A Complete Calculus for Max-SAT
- Algorithms and Computation
- scientific article; zbMATH DE number 1629855 (Why is no real title available?)
- A refined branching algorithm for the maximum satisfiability problem
- Solving MAX-\(r\)-SAT above a tight lower bound
- Dealing with 4-variables by resolution: an improved \textsc{MaxSAT} algorithm
- New exact algorithms for the 2-constraint satisfaction problem
- A new algorithm for parameterized MAX-SAT
- Almost 2-SAT is fixed-parameter tractable
- Improved parameterized set splitting algorithms: A Probabilistic approach
- On the parallel parameterized complexity of MaxSAT variants
- scientific article; zbMATH DE number 2086240 (Why is no real title available?)
- Parameterized exact and approximation algorithms for maximum \(k\)-set cover and related satisfiability problems
- Improvements to Hybrid Incremental SAT Algorithms
- Exact algorithms for MAX-SAT
- scientific article; zbMATH DE number 1979498 (Why is no real title available?)
- Approximating MAX SAT by moderately exponential and parameterized algorithms
- Solving sparse instances of Max SAT via width reduction and greedy restriction
- An improved algorithm for the \((n, 3)\)-MaxSAT problem: asking branchings to satisfy the clauses
- Algorithms for \((n,3)\)-MAXSAT and parameterization above the all-true assignment
- Resolution and linear CNF formulas: improved \((n,3)\)-\textsc{MaxSAT} algorithms
- Improved algorithms for sparse MAX-SAT and MAX-\(k\)-CSP
- Improved \textsc{MaxSAT} algorithms for instances of degree 3
- Theory and Applications of Satisfiability Testing
- Moderately exponential time and fixed parameter approximation algorithms
- Dealing with 4-variables by resolution: an improved MaxSAT algorithm
- Using the method of conditional expectations to supply an improved starting point for CCLS
- Improved exact algorithms for mildly sparse instances of MAX SAT
This page was built for publication: Improved exact algorithms for MAX-SAT
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1878397)
