{"id":"https://openalex.org/W7153290761","doi":"https://doi.org/10.48550/arxiv.2604.08244","title":"FORSLICE: An Automated Formal Framework for Efficient PRB-Allocation towards Slicing Multiple Network Services","display_name":"FORSLICE: An Automated Formal Framework for Efficient PRB-Allocation towards Slicing Multiple Network Services","publication_year":2026,"publication_date":"2026-04-09","ids":{"openalex":"https://openalex.org/W7153290761","doi":"https://doi.org/10.48550/arxiv.2604.08244"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.08244","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.08244","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.08244","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133341568","display_name":"Debarpita Banerjee","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Banerjee, Debarpita","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133359373","display_name":"Sumana Ghosh","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ghosh, Sumana","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024930491","display_name":"Snigdha Das","orcid":"https://orcid.org/0000-0001-5801-7196"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Das, Snigdha","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082514832","display_name":"Shilpa Budhkar","orcid":"https://orcid.org/0000-0002-0423-0861"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Budhkar, Shilpa","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5083273584","display_name":"Rana Pratap Sircar","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sircar, Rana Pratap","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10847","display_name":"Advanced Optical Network Technologies","score":0.0005000000237487257,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10273","display_name":"IoT and Edge/Fog Computing","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7749000191688538},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.5547999739646912},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.44909998774528503},{"id":"https://openalex.org/keywords/resource-allocation","display_name":"Resource allocation","score":0.3666999936103821},{"id":"https://openalex.org/keywords/core-network","display_name":"Core network","score":0.3573000133037567},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.35269999504089355},{"id":"https://openalex.org/keywords/quality-of-service","display_name":"Quality of service","score":0.3450999855995178}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8163999915122986},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7749000191688538},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6269000172615051},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.5547999739646912},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.47119998931884766},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.44909998774528503},{"id":"https://openalex.org/C29202148","wikidata":"https://www.wikidata.org/wiki/Q287260","display_name":"Resource allocation","level":2,"score":0.3666999936103821},{"id":"https://openalex.org/C5038329","wikidata":"https://www.wikidata.org/wiki/Q1142907","display_name":"Core network","level":2,"score":0.3573000133037567},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.35269999504089355},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.3450999855995178},{"id":"https://openalex.org/C2780615836","wikidata":"https://www.wikidata.org/wiki/Q2471869","display_name":"USable","level":2,"score":0.33059999346733093},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.31040000915527344},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.2964000105857849},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.2712000012397766},{"id":"https://openalex.org/C140642157","wikidata":"https://www.wikidata.org/wiki/Q1623338","display_name":"Pseudorandom number generator","level":2,"score":0.266400009393692},{"id":"https://openalex.org/C128040838","wikidata":"https://www.wikidata.org/wiki/Q1810628","display_name":"Pseudorandom binary sequence","level":3,"score":0.25859999656677246},{"id":"https://openalex.org/C62793504","wikidata":"https://www.wikidata.org/wiki/Q228327","display_name":"Access network","level":2,"score":0.25429999828338623},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.25060001015663147}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.08244","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.08244","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.08244","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.08244","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.6285698413848877,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Network":[0],"slicing":[1,51],"is":[2,17,74],"a":[3,18,22,84,117,125,197,213],"modern":[4],"5G":[5],"technology":[6],"that":[7,230],"provides":[8],"efficient":[9],"network":[10,25,49,163,258],"experience":[11],"for":[12,20,35,88,147,159,196],"diverse":[13],"use":[14],"cases.":[15],"It":[16],"technique":[19,158],"partitioning":[21],"single":[23],"physical":[24,60],"infrastructure":[26],"into":[27],"multiple":[28,89],"virtual":[29],"networks,":[30],"called":[31],"slices,":[32],"each":[33],"equipped":[34],"specific":[36],"services":[37,90,94],"and":[38,52,116,129,185,191,199,236,250],"requirements.":[39],"In":[40,58],"this":[41],"work,":[42],"we":[43,97,187,224],"particularly":[44],"deal":[45],"with":[46,95,254],"radio":[47,69],"access":[48],"(RAN)":[50],"resource":[53,61],"allocation":[54],"to":[55,75,78,99,107,162,176,203,228,267],"RAN":[56,204],"slices.":[57,138,164,205],"5G,":[59],"blocks":[62],"(PRBs)":[63],"being":[64],"the":[65,79,92,113,134,142,154,170,193,209,231,241,268],"fundamental":[66],"units":[67],"of":[68,86,120,169],"resources,":[70],"our":[71,150],"main":[72],"focus":[73],"allocate":[76],"PRBs":[77,136,161],"slices":[80],"efficiently.":[81],"While":[82],"addressing":[83],"spectrum":[85],"needs":[87],"or":[91,132],"same":[93],"multi-priorities,":[96],"need":[98],"ensure":[100,177,229],"two":[101],"vital":[102],"system":[103,179,233,263],"properties:":[104,234],"i)":[105],"fairness":[106,235],"every":[108],"service":[109,127],"type":[110],"(i.e.,":[111],"providing":[112],"required":[114],"resources":[115],"desired":[118,232],"range":[119],"throughput)":[121],"even":[122],"after":[123],"prioritizing":[124],"particular":[126],"type,":[128],"ii)":[130],"PRB-optimality":[131],"minimizing":[133],"unused":[135],"in":[137,149],"These":[139],"serve":[140],"as":[141,212],"core":[143],"performance":[144],"evaluation":[145],"metrics":[146],"PRB-allocation":[148,210],"work.":[151],"We":[152,206],"adopt":[153],"3-layered":[155,214,256],"hierarchical":[156,257],"PRB-partitioning":[157],"allocating":[160],"The":[165,243],"case-specific,":[166],"AI-based":[167],"solution":[168],"state-of-the-art":[171],"method":[172,245],"lacks":[173],"sufficient":[174],"correctness":[175,184],"consistent":[178],"performance.":[180],"To":[181],"achieve":[182],"guaranteed":[183],"completeness,":[186],"leverage":[188],"formal":[189,226],"methods":[190],"propose":[192],"first":[194],"approach":[195,252],"fair":[198],"optimal":[200],"PRB":[201],"distribution":[202],"formally":[207],"model":[208],"problem":[211],"framework,":[215],"FORSLICE,":[216],"specifically":[217],"by":[218,240],"employing":[219],"satisfiability":[220],"modulo":[221],"theories.":[222],"Next,":[223],"apply":[225],"verification":[227],"PRB-optimality,":[237],"are":[238],"satisfied":[239],"model.":[242],"proposed":[244],"offers":[246],"an":[247],"efficient,":[248],"versatile":[249],"automated":[251],"compatible":[253],"all":[255],"structure":[259],"configurations,":[260],"yielding":[261],"significant":[262],"property":[264],"improvements":[265],"compared":[266],"baseline.":[269]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-04-11T00:00:00"}