Flexible and Optimal Dependency Management via Max-SMT. - Pinckney, Donald; Cassano, Federico; Guha, Arjun; Bell, Jonathan; Culpo, Massimiliano; Gamblin, Todd (ICSE: International Conference on Software Engineering, 2023)