Justin Yip, Pascal Van Hentenryck. Symmetry Breaking via LexLeader Feasibility Checkers. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 687-692, IJCAI/AAAI, 2011. [doi]
Abstract is missing.