Smaller Selection Networks for Cardinality Constraints Encoding

Michał Karpiński, Marek Piotrów

Selection comparator networks have been studied for many years. Recently, they have been successfully applied to encode cardinality constraints for SAT-solvers. To decrease the siz…