@misc{indiciae8a720a4ecc6c,
  title = {A comparison of encodings for cardinality constraints in a SAT solver},
  author = {Ed Wynn},
  year = {2018},
  url = {https://arxiv.org/abs/1810.12975},
  note = {Source identifier: 1810.12975}
}