๐ฎ
๐ฎ
The Ethereal
Application Placement with Constraint Relaxation
July 18, 2025 ยท The Ethereal ยท ๐ Theory and Practice of Logic Programming
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Damiano Azzolini, Marco Duca, Stefano Forti, Francesco Gallo, Antonio Ielo
arXiv ID
2507.13895
Category
cs.LO: Logic in CS
Cross-listed
cs.DC
Citations
0
Venue
Theory and Practice of Logic Programming
Last Checked
5 months ago
Abstract
Novel utility computing paradigms rely upon the deployment of multi-service applications to pervasive and highly distributed cloud-edge infrastructure resources. Deciding onto which computational nodes to place services in cloud-edge networks, as per their functional and non-functional constraints, can be formulated as a combinatorial optimisation problem. Most existing solutions in this space are not able to deal with \emph{unsatisfiable} problem instances, nor preferences, i.e. requirements that DevOps may agree to relax to obtain a solution. In this article, we exploit Answer Set Programming optimisation capabilities to tackle this problem. Experimental results in simulated settings show that our approach is effective on lifelike networks and applications.
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Logic in CS
๐ฎ
๐ฎ
The Ethereal
Safe Reinforcement Learning via Shielding
๐ฎ
๐ฎ
The Ethereal
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
๐ฎ
๐ฎ
The Ethereal
Heterogeneous substitution systems revisited
๐ฎ
๐ฎ
The Ethereal
Omega-Regular Objectives in Model-Free Reinforcement Learning
๐ฎ
๐ฎ
The Ethereal