1: \begin{thebibliography}{50}

2: 

3: \bibitem{card1}

4:   As\'in R., Nieuwenhuis R., Oliveras A., Rodr\'iguez-Carbonell E. (2009).

5:   Cardinality networks and their applications. {\em SAT}, pp. 167--180.

6: 

7: \bibitem{card4}

8:   As\'in R., Nieuwenhuis R., Oliveras A., Rodr\'iguez-Carbonell E. (2011).

9:   Cardinality networks: a theoretical and empirical study. {\em Constraints}, 16(2):195--221.

10: 

11: \bibitem{batcher}

12:   Batcher K.E. (1968).

13:   Sorting networks and their applications. {\em AFIPS Spring Joint Computing Conference}, pp. 307--314.

14: 

15: \bibitem{card2}

16:   Codish M., Zazon-Ivry M. (2010).

17:   Pairwise Cardinality Networks. {\em LPAR, LNCS volume 6355, Springer}, pp. 154--172.

18: 

19: \bibitem{pairwise}

20:   Codish M., Zazon-Ivry M. (2012).

21:   Pairwise Networks are Superior for Selection. Manuscript: \\ \verb|http://www.cs.bgu.ac.il/~mcodish/Papers/Sources/pairwiseSelection.pdf|.

22: 

23: \bibitem{card3}

24:   E\'en N., Sorensson N. (2006).

25:   Translating pseudo-boolean constraints into sat. {\em JSAT}, 2:1--26.

26: 

27: \bibitem{knuth}

28:   Knuth D.E. (1973).

29:   The Art of Computer Programming, Volume III: Sorting and Searching. {\em Addison-Wesley}.

30: 

31: \bibitem{parberry2}

32:   Parberry I. (1987).

33:   Parallel complexity theory. {\em Research notes in theoretical computer science. Pitman}.

34: 

35: \bibitem{parberry}

36:   Parberry I. (1992).

37:   The pairwise sorting network. {\em Parallel Processing Letters}, 2:205--211.

38: 

39: \end{thebibliography}

40: