Pages that link to "Item:Q2009185"
From MaRDI portal
The following pages link to \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT (Q2009185):
Displayed 3 items.
- SAT encodings for pseudo-Boolean constraints together with at-most-one constraints (Q2060735) (← links)
- An incremental SAT-based approach for solving the real-time taxi-sharing service problem (Q6046139) (← links)
- Learning to select SAT encodings for pseudo-Boolean and linear Integer constraints (Q6154177) (← links)