MAX-2-SAT
From MaRDI portal
Cited in
(41)- scientific article; zbMATH DE number 1795723 (Why is no real title available?)
- New Upper Bounds for Maximum Satisfiability
- Sums of squares based approximation algorithms for MAX-SAT
- An LP-Designed Algorithm for Constraint Satisfaction
- Efficient branch-and-bound algorithms for weighted MAX-2-SAT
- Lower and Upper Bounds for Random Mimimum Satisfiability Problem
- A universally fastest algorithm for Max 2-sat, Max 2-CSP, and everything in between
- Semidefinite optimization approaches for satisfiability and maximum-satisfiability problems
- scientific article; zbMATH DE number 1566497 (Why is no real title available?)
- Constant Ratio Fixed-Parameter Approximation of the Edge Multicut Problem
- New exact algorithms for the 2-constraint satisfaction problem
- Worst-case study of local search for MAX-\(k\)-SAT.
- A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem
- Improving exact algorithms for MAX-2-SAT
- Optimal 2-constraint satisfaction via sum-product algorithms
- On the Lower Bounds of Random Max 3 and 4-SAT
- Automata, Languages and Programming
- Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT.
- Exact algorithms for MAX-SAT
- A new upper bound for Max-2-SAT: A graph-theoretic approach
- MaxSolver
- Solving sparse instances of Max SAT via width reduction and greedy restriction
- An upper (lower) bound for Max (Min) CSP
- Linear-programming design and analysis of fast algorithms for Max 2-CSP
- A new algorithm for optimal 2-constraint satisfaction and its implications
- An Empirical Study of MAX-2-SAT Phase Transitions
- Solving Sparse Random Instances of Max Cut and Max 2-CSP in Linear Expected Time
- A general reduction theorem with applications to pathwidth and the complexity of Max 2-CSP
- Graph-Theoretic Concepts in Computer Science
- Maximum satisfiability: how good are tabu search and plateau moves in the worst-case?
- An approximation algorithm for MAX-2-SAT with cardinality constraint
- A tighter upper bound for random MAX \(2\)-SAT
- The power of quantum systems on a line
- New Bounds for MAX-SAT by Clause Learning
- A new approach to proving upper bounds for MAX-2-SAT
- A New Upper Bound for Max-2-SAT: A Graph-Theoretic Approach
- Theory and Applications of Satisfiability Testing
- A \(2^{|E|/4}\)-time algorithm for MAX-CUT
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- Improved exact algorithms for mildly sparse instances of MAX SAT
- Satisfiability with index dependency
This page was built for software: MAX-2-SAT
