Pages that link to "Item:Q3439118"

The following pages link to An Empirical Study of MAX-2-SAT Phase Transitions (Q3439118):

Displaying 5 items.

• Efficient branch-and-bound algorithms for weighted MAX-2-SAT (Q535012) (← links)
• Improving exact algorithms for MAX-2-SAT (Q812398) (← links)
• A tighter upper bound for random MAX \(2\)-SAT (Q1944049) (← links)
• MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability (Q2457672) (← links)
• Exact Algorithms for MAX-SAT (Q4916231) (← links)