Yip and Van Hentenryck. "Symmetry Breaking via LexLeader Feasibility Checkers." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-121
Markdown
[Yip and Van Hentenryck. "Symmetry Breaking via LexLeader Feasibility Checkers." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/yip2011ijcai-symmetry/) doi:10.5591/978-1-57735-516-8/IJCAI11-121
BibTeX
@inproceedings{yip2011ijcai-symmetry,
title = {{Symmetry Breaking via LexLeader Feasibility Checkers}},
author = {Yip, Justin and Van Hentenryck, Pascal},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2011},
pages = {687-692},
doi = {10.5591/978-1-57735-516-8/IJCAI11-121},
url = {https://mlanthology.org/ijcai/2011/yip2011ijcai-symmetry/}
}