Tractable Symmetry Breaking Using Restricted Search Trees

Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, Steve Linton. Tractable Symmetry Breaking Using Restricted Search Trees. In Ramon López de Mántaras, Lorenza Saitta, editors, Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004. pages 211-215, IOS Press, 2004.

Abstract

Abstract is missing.