Flexible and Optimal Dependency Management via Max-SMT.
Saved in:
| Title: | Flexible and Optimal Dependency Management via Max-SMT. |
|---|---|
| Authors: | Pinckney, Donald1, pinckney.d@northeastern.edu, Cassano, Federico1, cassano.f@northeastern.edu, Guha, Arjun1, a.guha@northeastern.edu, Bell, Jonathan1, j.bell@northeastern.edu, Culpo, Massimiliano2, massimiliano.culpo@googlemail.com, Gamblin, Todd3, tgamblin@llnl.gov |
| Source: | ICSE: International Conference on Software Engineering; 2023, p1418-1429, 12p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| DOI: | 10.1109/ICSE48619.2023.00124 |
|---|
