View in EDS HTML Full Text PDF Full Text

Flexible and Optimal Dependency Management via Max-SMT.

Saved in:
Bibliographic Details
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.
FullText Links:
  – Type: pdflink
Text:
  Availability: 1
Header DbId: aci
DbLabel: Applied Science & Technology Source
An: 185196094
AccessLevel: 2
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Flexible and Optimal Dependency Management via Max-SMT.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AU" term="%22Pinckney%2C+Donald%22">Pinckney, Donald</searchLink><relatesTo>1</relatesTo>, <i>pinckney.d@northeastern.edu</i><br /><searchLink fieldCode="AU" term="%22Cassano%2C+Federico%22">Cassano, Federico</searchLink><relatesTo>1</relatesTo>, <i>cassano.f@northeastern.edu</i><br /><searchLink fieldCode="AU" term="%22Guha%2C+Arjun%22">Guha, Arjun</searchLink><relatesTo>1</relatesTo>, <i>a.guha@northeastern.edu</i><br /><searchLink fieldCode="AU" term="%22Bell%2C+Jonathan%22">Bell, Jonathan</searchLink><relatesTo>1</relatesTo>, <i>j.bell@northeastern.edu</i><br /><searchLink fieldCode="AU" term="%22Culpo%2C+Massimiliano%22">Culpo, Massimiliano</searchLink><relatesTo>2</relatesTo>, <i>massimiliano.culpo@googlemail.com</i><br /><searchLink fieldCode="AU" term="%22Gamblin%2C+Todd%22">Gamblin, Todd</searchLink><relatesTo>3</relatesTo>, <i>tgamblin@llnl.gov</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22ICSE%3A+International+Conference+on+Software+Engineering%22">ICSE: International Conference on Software Engineering</searchLink>; 2023, p1418-1429, 12p
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=185196094
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/ICSE48619.2023.00124
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 12
        StartPage: 1418
    Titles:
      – TitleFull: Flexible and Optimal Dependency Management via Max-SMT.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Pinckney, Donald
      – PersonEntity:
          Name:
            NameFull: Cassano, Federico
      – PersonEntity:
          Name:
            NameFull: Guha, Arjun
      – PersonEntity:
          Name:
            NameFull: Bell, Jonathan
      – PersonEntity:
          Name:
            NameFull: Culpo, Massimiliano
      – PersonEntity:
          Name:
            NameFull: Gamblin, Todd
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 05
              Text: 2023
              Type: published
              Y: 2023
          Titles:
            – TitleFull: ICSE: International Conference on Software Engineering
              Type: main
ResultId 1