MAX-2-SAT

swMATH3355MaRDI QIDQ15887FDOQ15887

Author name not available (Why is that?)

Official website: http://logic.pdmi.ras.ru/~hirsch/sat.html

Cited In (41)

• Sums of squares based approximation algorithms for MAX-SAT
• Efficient branch-and-bound algorithms for weighted MAX-2-SAT
• Lower and Upper Bounds for Random Mimimum Satisfiability Problem
• Semidefinite optimization approaches for satisfiability and maximum-satisfiability problems
• A universally fastest algorithm for Max 2-sat, Max 2-CSP, and everything in between
• Title not available (Why is that?)
• 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
• Linear-programming design and analysis of fast algorithms for Max 2-CSP
• An upper (lower) bound for Max (Min) 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
• Graph-Theoretic Concepts in Computer Science
• An approximation algorithm for MAX-2-SAT with cardinality constraint
• Maximum satisfiability: how good are tabu search and plateau moves in the worst-case?
• A general reduction theorem with applications to pathwidth and the complexity of Max 2-CSP
• 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
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• A \(2^{|E|/4}\)-time algorithm for MAX-CUT
• Satisfiability with index dependency
• Improved exact algorithms for mildly sparse instances of MAX SAT
• Title not available (Why is that?)
• New Upper Bounds for Maximum Satisfiability
• An LP-Designed Algorithm for Constraint Satisfaction

This page was built for software: MAX-2-SAT