Symmetries and Lazy Clause Generation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Geoffrey Chu' in GoogleThis author has not been identified. Look up 'Peter J. Stuckey' in GoogleThis author has not been identified. Look up 'Maria Garcia de la Banda' in GoogleThis author has not been identified. Look up 'Christopher Mears' in Google

runs on WebDSL