FORSLICE is the first SMT-based formal model for 3-layered PRB allocation in 5G network slicing that guarantees fairness across services and PRB-optimality.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.NI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
FORSLICE: An Automated Formal Framework for Efficient PRB-Allocation towards Slicing Multiple Network Services
FORSLICE is the first SMT-based formal model for 3-layered PRB allocation in 5G network slicing that guarantees fairness across services and PRB-optimality.