TY  - RPRT
TI  - Flexible and Optimal Dependency Management via Max-SMT
AU  - Donald Pinckney
AU  - Federico Cassano
AU  - Arjun Guha
AU  - Jon Bell
AU  - Massimiliano Culpo
AU  - Todd Gamblin
PY  - 2023
UR  - https://arxiv.org/abs/2203.13737
ID  - 2203.13737
ER  -