1. Pietro Abate , Roberto Di Cosmo , Georgios Gousios, and Stefano Zacchiroli. 2020 . Dependency Solving Is Still Hard, but We Are Getting Better at It. In SANER. IEEE, London, ON, Canada , 547--551. Pietro Abate, Roberto Di Cosmo, Georgios Gousios, and Stefano Zacchiroli. 2020. Dependency Solving Is Still Hard, but We Are Getting Better at It. In SANER. IEEE, London, ON, Canada, 547--551.
2. Dependency solving: A separate concern in component evolution management
3. Daniel Le Berre and Anne Parrain . 2008. On SAT Technologies for Dependency Management and Beyond . In SPLC (2) . Lero Int. Science Centre , University of Limerick, Ireland, Limerick, Ireland, 197--200. Daniel Le Berre and Anne Parrain. 2008. On SAT Technologies for Dependency Management and Beyond. In SPLC (2). Lero Int. Science Centre, University of Limerick, Ireland, Limerick, Ireland, 197--200.
4. The Sat4j library, release 2.2
5. William W. Cohen , Pradeep Ravikumar , and Stephen E . Fienberg . 2003 . A Comparison of String Distance Metrics for Name-Matching Tasks. In IIWeb. AAAI, Acapulco, Mexico , 73--78. William W. Cohen, Pradeep Ravikumar, and Stephen E. Fienberg. 2003. A Comparison of String Distance Metrics for Name-Matching Tasks. In IIWeb. AAAI, Acapulco, Mexico, 73--78.