Symmetries and Lazy Clause Generation

Chu et al. "Symmetries and Lazy Clause Generation." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-094

[Chu et al. "Symmetries and Lazy Clause Generation." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/chu2011ijcai-symmetries/) doi:10.5591/978-1-57735-516-8/IJCAI11-094

@inproceedings{chu2011ijcai-symmetries,
  title     = {{Symmetries and Lazy Clause Generation}},
  author    = {Chu, Geoffrey and Stuckey, Peter J. and de la Banda, Maria Garcia and Mears, Christopher},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {516-521},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-094},
  url       = {https://mlanthology.org/ijcai/2011/chu2011ijcai-symmetries/}
}