Pages that link to "Item:Q477187"
From MaRDI portal
The following pages link to Approximating MAX SAT by moderately exponential and parameterized algorithms (Q477187):
Displaying 9 items.
- Sums of squares based approximation algorithms for MAX-SAT (Q944728) (← links)
- (In)approximability of maximum minimal FVS (Q2051849) (← links)
- Moderately exponential time and fixed parameter approximation algorithms (Q2868915) (← links)
- An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem (Q4577945) (← links)
- On Some Recent Approximation Algorithms for MAX SAT (Q5405076) (← links)
- When polynomial approximation meets exact computation (Q5892165) (← links)
- When polynomial approximation meets exact computation (Q5915964) (← links)
- MAX SAT approximation beyond the limits of polynomial-time approximation (Q5957907) (← links)
- In)approximability of Maximum Minimal FVS (Q6065391) (← links)