Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems

Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret. Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. pages 555-562, ijcai.org, 2017. [doi]

@inproceedings{BofillCSV17,
  title = {Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems},
  author = {Miquel Bofill and Jordi Coll and Josep Suy and Mateu Villaret},
  year = {2017},
  doi = {10.24963/ijcai.2017/78},
  url = {https://doi.org/10.24963/ijcai.2017/78},
  researchr = {https://researchr.org/publication/BofillCSV17},
  cites = {0},
  citedby = {0},
  pages = {555-562},
  booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017},
  editor = {Carles Sierra},
  publisher = {ijcai.org},
  isbn = {978-0-9992411-0-3},
}