Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears. Symmetries and Lazy Clause Generation. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 516-521, IJCAI/AAAI, 2011. [doi]
@inproceedings{ChuSBM11,
title = {Symmetries and Lazy Clause Generation},
author = {Geoffrey Chu and Peter J. Stuckey and Maria Garcia de la Banda and Christopher Mears},
year = {2011},
url = {http://ijcai.org/papers11/Papers/IJCAI11-094.pdf},
tags = {laziness},
researchr = {https://researchr.org/publication/ChuSBM11},
cites = {0},
citedby = {0},
pages = {516-521},
booktitle = {IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011},
editor = {Toby Walsh},
publisher = {IJCAI/AAAI},
isbn = {978-1-57735-516-8},
}