@article{booleanequipropagationforconciseand,
  title = {Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems},
  author = {Amit Metodi and Michael Codish and Peter James Stuckey},
  year = {2014},
  eprint = {1402.0568},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1402.0568v1},
}