Pages that link to "Item:Q3637179"

The following pages link to Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates (Q3637179):

Displaying 2 items.

• A framework for certified Boolean branch-and-bound optimization (Q2429985) (← links)
• Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One (Q3007689) (← links)