scientific article; zbMATH DE number 1522934
From MaRDI portal
Publication:4511230
Recommendations
Cited in
(43)- 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.
- Improved exact algorithms for MAX-SAT
- A tighter upper bound for random MAX \(2\)-SAT
- An improved algorithm for the (n, 3)-MaxSAT problem: asking branchings to satisfy the clauses
- A refined branching algorithm for the maximum satisfiability problem
- Algorithms for \((n,3)\)-MAXSAT and parameterization above the all-true assignment
- Upper and lower bounds for different parameterizations of \((n,3)\)-MAXSAT
- 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
- Resolution and linear CNF formulas: improved \((n,3)\)-\textsc{MaxSAT} algorithms
- A note on the complexity of minimum dominating set
- A new algorithm for optimal 2-constraint satisfaction and its implications
- scientific article; zbMATH DE number 2086240 (Why is no real title available?)
- Solving MaxSAT and \#SAT on structured CNF formulas
- New upper bounds for the problem of maximal satisfiability
- An Empirical Study of MAX-2-SAT Phase Transitions
- Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
- A universally fastest algorithm for Max 2-sat, Max 2-CSP, and everything in between
- New Upper Bounds for Maximum Satisfiability
- Breaking cycle structure to improve lower bound for Max-SAT
- A new algorithm for parameterized 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
- Boosting branch-and-bound MaxSAT solvers with clause learning
- Dealing with 4-variables by resolution: an improved MaxSAT algorithm
- A propositional CONEstrip algorithm
- Efficient branch-and-bound algorithms for weighted MAX-2-SAT
- scientific article; zbMATH DE number 6297727 (Why is no real title available?)
- MAX-SAT for Formulas with Constant Clause Density Can Be Solved Faster Than in $\mathcal{O}(2^n)$ Time
- MAX SAT approximation beyond the limits of polynomial-time approximation
- A new upper bound for Max-2-SAT: A graph-theoretic approach
- Fast exact algorithms for the SAT problem with bounded occurrences of variables
- A fast algorithm for maximum satisfiability above half number of clauses
- Partial minimum satisfiability: fine-grained analysis
- 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
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4511230)
