New Upper Bounds for Maximum Satisfiability
From MaRDI portal
Recommendations
- New upper bounds for the problem of maximal satisfiability
- Publication:4938646
- scientific article; zbMATH DE number 1522934
- Upper bounds on the satisfiability threshold
- New worst-case upper bounds for SAT
- New worst-case upper bounds for SAT
- A New Upper Bound for Max-2-SAT: A Graph-Theoretic Approach
- A new upper bound for Max-2-SAT: A graph-theoretic approach
Cited in
(53)- Parameterizing above or below guaranteed values
- Resolution for Max-SAT
- Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT.
- Worst-case study of local search for MAX-\(k\)-SAT.
- New worst-case upper bounds for SAT
- Improved exact algorithms for MAX-SAT
- A tighter upper bound for random MAX \(2\)-SAT
- A new upper bound for \(( n , 3)\)-MAX-SAT
- Incomplete inference for graph problems
- Understanding the power of Max-SAT resolution through up-resilience
- An improved algorithm for the (n, 3)-MaxSAT problem: asking branchings to satisfy the clauses
- Using the method of conditional expectations to supply an improved starting point for CCLS
- A refined branching algorithm for the maximum satisfiability problem
- Algorithms for \((n,3)\)-MAXSAT and parameterization above the all-true assignment
- Iterative and core-guided maxsat solving: a survey and assessment
- A logical approach to efficient Max-SAT solving
- Improved exact algorithms for mildly sparse instances of MAX SAT
- Linear-programming design and analysis of fast algorithms for Max 2-CSP
- Computational protein design as an optimization problem
- MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
- A note on the complexity of minimum dominating set
- A new algorithm for optimal 2-constraint satisfaction and its implications
- New worst-case upper bounds for SAT
- New upper bounds for MAX-2-SAT and MAX-2-CSP w.r.t. the average variable degree
- scientific article; zbMATH DE number 2086240 (Why is no real title available?)
- New upper bounds for the problem of maximal satisfiability
- An Empirical Study of MAX-2-SAT Phase Transitions
- New Bounds for MAX-SAT by Clause Learning
- A Max-SAT Inference-Based Pre-processing for Max-Clique
- A New Upper Bound for Max-2-SAT: A Graph-Theoretic Approach
- A universally fastest algorithm for Max 2-sat, Max 2-CSP, and everything in between
- scientific article; zbMATH DE number 1500507 (Why is no real title available?)
- scientific article; zbMATH DE number 1522934 (Why is no real title available?)
- Local maxima and improved exact algorithm for MAX-2-SAT
- Breaking cycle structure to improve lower bound for Max-SAT
- Exact algorithms for MAX-SAT
- scientific article; zbMATH DE number 1405665 (Why is no real title available?)
- A general reduction theorem with applications to pathwidth and the complexity of Max 2-CSP
- \textsc{ahmaxsat}: description and evaluation of a branch and bound Max-SAT solver
- New tableau characterizations for non-clausal \textsc{MaxSAT} problem
- Boosting branch-and-bound MaxSAT solvers with clause learning
- Dealing with 4-variables by resolution: an improved MaxSAT algorithm
- Efficient branch-and-bound algorithms for weighted MAX-2-SAT
- Exact Max 2-Sat: Easier and Faster
- A Complete Calculus for Max-SAT
- A new upper bound for Max-2-SAT: A graph-theoretic approach
- A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem
- Improving exact algorithms for MAX-2-SAT
- An improved upper bound for SAT
- An efficient fixed-parameter algorithm for 3-hitting set
- Solving sparse instances of Max SAT via width reduction and greedy restriction
- Probabilistic bounds and algorithms for the maximum satisfiability problem
- An efficient solver for weighted Max-SAT
This page was built for publication: New Upper Bounds for Maximum Satisfiability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4500858)
