TY  - RPRT
TI  - Flexible and Optimal Dependency Management via Max-SMT
AU  - Pinckney, D
AU  - Cassano, F
AU  - Guha, A
AU  - Bell, J
AU  - Culpo, M
AU  - Gamblin, T
PY  - 2023
DO  - 10.1109/icse48619.2023.00124
UR  - https://www.osti.gov/biblio/2223021
ID  - 2223021
ER  -