Gilles Audemard, Saïd Jabbour, Lakhdar Sais. Symmetry Breaking in Quantified Boolean Formulae. In Manuela M. Veloso, editor, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. pages 2262-2267, 2007. [doi]
Abstract is missing.