% @string{constraints="Constraints Journal"}

@string{constraints="Constraints J."}


@article{s09:symchaffJ,
  author={Sabharwal, Ashish},
  title={SymChaff: Exploiting Symmetry in a Structure-Aware Satisfiability Solver},
  journal=constraints,
  volume=14,
  number=4,
  pages={478-505},
  month=dec,
  year=2009
}