Pages that link to "Item:Q2118385"

The following pages link to A refined branching algorithm for the maximum satisfiability problem (Q2118385):

Displaying 2 items.

• Using the method of conditional expectations to supply an improved starting point for CCLS (Q2091119) (← links)
• Generalization of the subset sum problem and cubic forms (Q6039136) (← links)