Pages that link to "Item:Q606913"
From MaRDI portal
The following pages link to Resolution-based lower bounds in MaxSAT (Q606913):
Displayed 5 items.
- On Davis-Putnam reductions for minimally unsatisfiable clause-sets (Q391124) (← links)
- On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes (Q505972) (← links)
- Optimizing with minimum satisfiability (Q1761303) (← links)
- Efficient Reasoning for Inconsistent Horn Formulae (Q2835881) (← links)
- Lower and Upper Bounds for Random Mimimum Satisfiability Problem (Q3452557) (← links)