All Stories

  1. A Constraint-Based Approach to Optimise QoS- and Energy-Aware Cloud-Edge Application Deployments

    Article • ACM Transactions on Internet Technology, July 2025, ACM (Association for Computing Machinery)

    Jacopo Soldani, Roberto Amadini

  2. A Survey on String Constraint Solving

    Article • ACM Computing Surveys, January 2023, ACM (Association for Computing Machinery)

    Roberto Amadini

  3. SUNNY-CP

    Article • April 2015, ACM (Association for Computing Machinery)

    Roberto Amadini