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]
Abstract is missing.