Pages that link to "Item:Q535012"
From MaRDI portal
The following pages link to Efficient branch-and-bound algorithms for weighted MAX-2-SAT (Q535012):
Displaying 4 items.
- Improving exact algorithms for MAX-2-SAT (Q812398) (← links)
- A Max-flow approach to improved lower bounds for quadratic unconstrained binary optimization (QUBO) (Q951124) (← links)
- A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems (Q1288467) (← links)
- A polynomial-time algorithm for reducing the number of variables in MAX SAT problem (Q1367267) (← links)