@article{Surynek_ALP-2015,
  author    = {Pavel Surynek},
  title     = {Linear Ordering in the SAT Encoding of the All-Different Constraint over Bit-Vectors},
  journal   = {Association for Logic Programming (ALP) Newsletter},
  volume    = {March/April 2015},
  pages     = {4},
  year      = {2015},
  publisher = {Association for Logic Programming}
}