Pages that link to "Item:Q1656559"
From MaRDI portal
The following pages link to Dynamic polynomial watchdog encoding for solving weighted MaxSAT (Q1656559):
Displayed 5 items.
- \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT (Q2009185) (← links)
- Clause redundancy and preprocessing in maximum satisfiability (Q2104499) (← links)
- On preprocessing for weighted MaxSAT (Q2234104) (← links)
- Go-MOCE: greedy order method of conditional expectations for Max Sat (Q2691199) (← links)
- Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT (Q5015607) (← links)