The following pages link to Pairwise Cardinality Networks (Q3066098):
Displaying 7 items.
- Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency (Q1685966) (← links)
- \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT (Q2009185) (← links)
- Encoding cardinality constraints using multiway merge selection networks (Q2009191) (← links)
- meSAT: multiple encodings of CSP to SAT (Q2342599) (← links)
- Sorting networks: to the end and back again (Q2424684) (← links)
- Parberry’s pairwise sorting network revealed (Q4625162) (← links)
- Resizing cardinality constraints for MaxSAT (Q5145443) (← links)
