The following pages link to Algorithms - ESA 2003 (Q5897255):
Displayed 4 items.
- A new upper bound for Max-2-SAT: A graph-theoretic approach (Q616992) (← links)
- Adding cardinality constraints to integer programs with applications to maximum satisfiability (Q2380072) (← links)
- A New Upper Bound for Max-2-SAT: A Graph-Theoretic Approach (Q3599157) (← links)
- Global Cardinality Constraints Make Approximating Some Max-2-CSPs Harder (Q5875476) (← links)