@inproceedings{97a5505a802a4f88ad9028b387c68e07,
title = "Sorting networks: The end game",
abstract = "This paper studies properties of the back end of a sorting network and illustrates the utility of these in the search for networks of optimal size or depth. All previous works focus on properties of the front end of networks and on how to apply these to break symmetries in the search. The new properties help shed understanding on how sorting networks sort and speed-up solvers for both optimal size and depth by an order of magnitude.",
keywords = "SAT solving, Sorting networks, Symmetry breaking",
author = "Michael Codish and Lu{\'i}s Cruz-Filipe and Peter Schneider-Kamp",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 9th International Conference on Language and Automata Theory and Applications, LATA 2015 ; Conference date: 02-03-2015 Through 06-03-2015",
year = "2015",
month = jan,
day = "1",
doi = "https://doi.org/10.1007/978-3-319-15579-1_52",
language = "American English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "664--675",
editor = "Adrian-Horia Dediu and Carlos Mart{\'i}n-Vide and Enrico Formenti and Bianca Truthe",
booktitle = "Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Proceedings",
address = "Germany",
}