The following pages link to Algorithms - ESA 2003 (Q5897255):
Displaying 11 items.
- A new upper bound for Max-2-SAT: A graph-theoretic approach (Q616992) (← links)
- Approximating a generalization of MAX 2SAT and MIN 2SAT (Q1841882) (← links)
- Adding cardinality constraints to integer programs with applications to maximum satisfiability (Q2380072) (← links)
- Simple Approximation Algorithms for Balanced MAX 2SAT (Q2802976) (← links)
- A New Upper Bound for Max-2-SAT: A Graph-Theoretic Approach (Q3599157) (← links)
- (Q4425953) (← links)
- Global Cardinality Constraints Make Approximating Some Max-2-CSPs Harder (Q5875476) (← links)
- Best possible approximation algorithm for MAX SAT with cardinality constraint. (Q5945919) (← links)
- On MAX-SAT with cardinality constraint (Q6575388) (← links)
- On MAX-SAT with cardinality constraint (Q6652473) (← links)
- Improved FPT approximation scheme and approximate kernel for biclique-free max \(k\)-weight SAT: greedy strikes back (Q6664061) (← links)