Pages that link to "Item:Q2466587"

The following pages link to Exact MAX-2SAT solution via lift-and-project closure (Q2466587):

Displayed 4 items.

• Efficient branch-and-bound algorithms for weighted MAX-2-SAT (Q535012) ‎ (← links)
• DRL\(^*\): A hierarchy of strong block-decomposable linear relaxations for 0-1 mips (Q608295) ‎ (← links)
• A Max-flow approach to improved lower bounds for quadratic unconstrained binary optimization (QUBO) (Q951124) ‎ (← links)
• Using rank-1 lift-and-project closures to generate cuts for 0-1 MIPs, a computational investigation (Q1019294) ‎ (← links)