Flexible and Optimal Dependency Management via Max-SMT

Pinckney, Donald and Cassano, Federico and Guha, Arjun and Bell, Jonathan and Culo, Massimiliano and Gamblin, Todd

Download PDF

BibTex:

@inproceedings{maxnpm,
  artifact = {https://doi.org/10.5281/zenodo.7554407},
  author = {Pinckney, Donald and Cassano, Federico and Guha, Arjun and Bell, Jonathan and Culo, Massimiliano and Gamblin, Todd},
  booktitle = {Proceedings of the 2023 International Conference on Software Engineering},
  note = {Acceptance rate: 26\%.},
  series = {ICSE},
  title = {Flexible and Optimal Dependency Management via Max-SMT},
  url = {https://www.jonbell.net/preprint/icse23-maxnpm.pdf},
  year = {2023},
  bdsk-url-1 = {https://www.jonbell.net/preprint/icse23-maxnpm.pdf}
}