The following pages link to (Q4425953):
Displaying 9 items.
- 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)
- Global Cardinality Constraints Make Approximating Some Max-2-CSPs Harder (Q5875476) (← links)
- Algorithms - ESA 2003 (Q5897255) (← 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)
