@misc{indiciae493289bba9e7,
  title = {SAT encodings for sorting networks, single-exception sorting networks and \$ε-\$halvers},
  author = {José A. R. Fonollosa},
  year = {2018},
  url = {https://arxiv.org/abs/1807.05377},
  note = {Source identifier: 1807.05377}
}