@inproceedings{ijcai2017p78, author = {Miquel Bofill and Jordi Coll and Josep Suy and Mateu Villaret}, title = {Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {555--562}, year = {2017}, doi = {10.24963/ijcai.2017/78}, url = {https://doi.org/10.24963/ijcai.2017/78}, }