Pages that link to "Item:Q1430296"
From MaRDI portal
The following pages link to Satisfiability-based algorithms for Boolean optimization (Q1430296):
Displaying 5 items.
- Boolean lexicographic optimization: algorithms \& applications (Q421451) (← links)
- 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)
- Propositional SAT Solving (Q3176367) (← links)
- Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates (Q3637179) (← links)
