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

BibTex:

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