Application Placement with Constraint Relaxation

July 18, 2025 ยท The Ethereal ยท ๐Ÿ› Theory and Practice of Logic Programming

๐Ÿ”ฎ THE ETHEREAL: The Ethereal
Pure theory โ€” exists on a plane beyond code

"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 shame:
Not yet rated
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

๐Ÿ“œ Similar Papers

In the same crypt โ€” Logic in CS