AND/OR branch-and-bound for computational protein design optimizing K

Bobak Pezeshki, Radu Marinescu 0002, Alexander T. Ihler, Rina Dechter. AND/OR branch-and-bound for computational protein design optimizing K. In James Cussens, Kun Zhang 0001, editors, Uncertainty in Artificial Intelligence, Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022, 1-5 August 2022, Eindhoven, The Netherlands. Volume 180 of Proceedings of Machine Learning Research, pages 1602-1612, PMLR, 2022. [doi]

@inproceedings{Pezeshki0ID22,
  title = {AND/OR branch-and-bound for computational protein design optimizing K},
  author = {Bobak Pezeshki and Radu Marinescu 0002 and Alexander T. Ihler and Rina Dechter},
  year = {2022},
  url = {https://proceedings.mlr.press/v180/pezeshki22a.html},
  researchr = {https://researchr.org/publication/Pezeshki0ID22},
  cites = {0},
  citedby = {0},
  pages = {1602-1612},
  booktitle = {Uncertainty in Artificial Intelligence, Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022, 1-5 August 2022, Eindhoven, The Netherlands},
  editor = {James Cussens and Kun Zhang 0001},
  volume = {180},
  series = {Proceedings of Machine Learning Research},
  publisher = {PMLR},
}