Pages that link to "Item:Q3000648"
From MaRDI portal
The following pages link to Optimal Base Encodings for Pseudo-Boolean Constraints (Q3000648):
Displaying 4 items.
- \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT (Q2009185) (← links)
- Improving the Normalization of Weight Rules in Answer Set Programs (Q2938492) (← links)
- Optimal Base Encodings for Pseudo-Boolean Constraints (Q3000648) (← links)
- Rewriting optimization statements in answer-set programs (Q5240209) (← links)
