@inproceedings{DBLP:conf/ictai/DevriendtBCDM12,
  author    = {Jo Devriendt and
               Bart Bogaerts and
               Broes de Cat and
               Marc Denecker and
               Christopher Mears},
  title     = {Symmetry Propagation: Improved Dynamic Symmetry Breaking
               in SAT},
  booktitle = {ICTAI},
  year      = {2012},
  pages     = {49-56},
  ee        = {http://dx.doi.org/10.1109/ICTAI.2012.16},
  crossref  = {DBLP:conf/ictai/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ictai/2012,
  title     = {IEEE 24th International Conference on Tools with Artificial
               Intelligence, ICTAI 2012, Athens, Greece, November 7-9,
               2012},
  booktitle = {ICTAI},
  publisher = {IEEE},
  year      = {2012},
  isbn      = {978-1-4799-0227-9},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6493540},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}