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]
@inproceedings{YipH11,
title = {Symmetry Breaking via LexLeader Feasibility Checkers},
author = {Justin Yip and Pascal Van Hentenryck},
year = {2011},
url = {http://ijcai.org/papers11/Papers/IJCAI11-121.pdf},
tags = {Pascal},
researchr = {https://researchr.org/publication/YipH11},
cites = {0},
citedby = {0},
pages = {687-692},
booktitle = {IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011},
editor = {Toby Walsh},
publisher = {IJCAI/AAAI},
isbn = {978-1-57735-516-8},
}