The following pages link to (Q4550772):
Displayed 7 items.
- Efficient branch-and-bound algorithms for weighted MAX-2-SAT (Q535012) (← links)
- A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem (Q734870) (← links)
- An efficient solver for weighted Max-SAT (Q933784) (← links)
- Sums of squares based approximation algorithms for MAX-SAT (Q944728) (← links)
- Solving the weighted MAX-SAT problem using the dynamic convexized method (Q2439524) (← links)
- Exact MAX-2SAT solution via lift-and-project closure (Q2466587) (← links)
- Semidefinite Programming and Constraint Programming (Q2802541) (← links)