@misc{indiciaee4f2eaa6d91f,
  title = {Flexible and Optimal Dependency Management via Max-SMT},
  author = {Pinckney, D and Cassano, F and Guha, A and Bell, J and Culpo, M and Gamblin, T},
  year = {2023},
  doi = {10.1109/icse48619.2023.00124},
  url = {https://www.osti.gov/biblio/2223021},
  note = {Source identifier: 2223021}
}