The following pages link to (Q4247437):
Displaying 24 items.
- A nonmonotone GRASP (Q340011) (← links)
- Approximating MAX SAT by moderately exponential and parameterized algorithms (Q477187) (← links)
- Differential approximation of MIN SAT, MAX SAT and related problems (Q877035) (← links)
- Sums of squares based approximation algorithms for MAX-SAT (Q944728) (← links)
- Solving weighted MAX-SAT via global equilibrium search (Q1003491) (← links)
- Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems (Q1037449) (← links)
- On the hardness of approximating max-satisfy (Q1045886) (← links)
- Approximating minimal unsatisfiable subformulae by means of adaptive core search (Q1408373) (← links)
- Worst-case study of local search for MAX-\(k\)-SAT. (Q1408379) (← links)
- On exact selection of minimally unsatisfiable subformulae (Q1777390) (← links)
- Maximum satisfiability: how good are tabu search and plateau moves in the worst-case? (Q1779533) (← links)
- Approximating a generalization of MAX 2SAT and MIN 2SAT (Q1841882) (← links)
- Improved exact algorithms for MAX-SAT (Q1878397) (← links)
- Restoring satisfiability or maintaining unsatisfiability by finding small unsatisfiable subformulae (Q2741521) (← links)
- (Q4229151) (← links)
- On Approximation Algorithms for Hierarchical MAX-SAT (Q4377125) (← links)
- (Q4524463) (← links)
- An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem (Q4577945) (← links)
- Semi-random Graphs with Planted Sparse Vertex Cuts: Algorithms for Exact and Approximate Recovery (Q5002784) (← links)
- Greedy Algorithms for the Maximum Satisfiability Problem: Simple Algorithms and Inapproximability Bounds (Q5269825) (← links)
- On Some Recent Approximation Algorithms for MAX SAT (Q5405076) (← links)
- Theory and Applications of Satisfiability Testing (Q5714749) (← links)
- MAX SAT approximation beyond the limits of polynomial-time approximation (Q5957907) (← links)
- Practical applications of the alternating cycle decomposition (Q6535610) (← links)
