{"id":"https://openalex.org/W4390044316","doi":"https://doi.org/10.1109/jsac.2023.3345387","title":"Human-Intent-Driven Cellular Configuration Generation Using Program Synthesis","display_name":"Human-Intent-Driven Cellular Configuration Generation Using Program Synthesis","publication_year":2023,"publication_date":"2023-12-21","ids":{"openalex":"https://openalex.org/W4390044316","doi":"https://doi.org/10.1109/jsac.2023.3345387"},"language":"en","primary_location":{"id":"doi:10.1109/jsac.2023.3345387","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jsac.2023.3345387","pdf_url":null,"source":{"id":"https://openalex.org/S90422530","display_name":"IEEE Journal on Selected Areas in Communications","issn_l":"0733-8716","issn":["0733-8716","1558-0008"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Journal on Selected Areas in Communications","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083598234","display_name":"Fuliang Li","orcid":"https://orcid.org/0000-0001-9782-0053"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Fuliang Li","raw_affiliation_strings":["School of Computer Science and Engineering, Northeastern University, Shenyang, China"],"raw_orcid":"https://orcid.org/0000-0001-9782-0053","affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5093548286","display_name":"Chenyang Hei","orcid":"https://orcid.org/0000-0001-5010-1529"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chenyang Hei","raw_affiliation_strings":["School of Computer Science and Engineering, Northeastern University, Shenyang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020156280","display_name":"Jiaxing Shen","orcid":"https://orcid.org/0000-0002-0833-0288"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jiaxing Shen","raw_affiliation_strings":["Department of Computing and Decision Sciences, Lingnan University, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-0833-0288","affiliations":[{"raw_affiliation_string":"Department of Computing and Decision Sciences, Lingnan University, Hong Kong, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100404176","display_name":"Qing Li","orcid":"https://orcid.org/0000-0003-3370-471X"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qing Li","raw_affiliation_strings":["School of Computer Science and Engineering, Northeastern University, Shenyang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100326915","display_name":"Xingwei Wang","orcid":"https://orcid.org/0000-0003-2856-4716"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xingwei Wang","raw_affiliation_strings":["School of Computer Science and Engineering, Northeastern University, Shenyang, China"],"raw_orcid":"https://orcid.org/0000-0003-2856-4716","affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5083598234"],"corresponding_institution_ids":["https://openalex.org/I9224756"],"apc_list":null,"apc_paid":null,"fwci":1.607,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.86550248,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"42","issue":"3","first_page":"658","last_page":"668"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11729","display_name":"Product Development and Customization","score":0.9905999898910522,"subfield":{"id":"https://openalex.org/subfields/1405","display_name":"Management of Technology and Innovation"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11729","display_name":"Product Development and Customization","score":0.9905999898910522,"subfield":{"id":"https://openalex.org/subfields/1405","display_name":"Management of Technology and Innovation"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9797000288963318,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9573000073432922,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/computer-science","display_name":"Computer science","score":0.8999874591827393},{"id":"https://openalex.org/keywords/satisfiability-modulo-theories","display_name":"Satisfiability modulo theories","score":0.6792609691619873},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6458972096443176},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5474588871002197},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.4440818428993225},{"id":"https://openalex.org/keywords/cellular-network","display_name":"Cellular network","score":0.4121883809566498},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.31205669045448303},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.21442556381225586}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8999874591827393},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.6792609691619873},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6458972096443176},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5474588871002197},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.4440818428993225},{"id":"https://openalex.org/C153646914","wikidata":"https://www.wikidata.org/wiki/Q535695","display_name":"Cellular network","level":2,"score":0.4121883809566498},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31205669045448303},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.21442556381225586},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/jsac.2023.3345387","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jsac.2023.3345387","pdf_url":null,"source":{"id":"https://openalex.org/S90422530","display_name":"IEEE Journal on Selected Areas in Communications","issn_l":"0733-8716","issn":["0733-8716","1558-0008"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Journal on Selected Areas in Communications","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1671140559","display_name":null,"funder_award_id":"92267206","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2390495701","display_name":null,"funder_award_id":"62072091","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2551476765","display_name":null,"funder_award_id":"62032013","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3396740119","display_name":null,"funder_award_id":"DB23A9","funder_id":"https://openalex.org/F4320328618","funder_display_name":"Lingnan University"},{"id":"https://openalex.org/G6760061280","display_name":null,"funder_award_id":"U22B2005","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320328618","display_name":"Lingnan University","ror":"https://ror.org/0563pg902"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1974514467","https://openalex.org/W2149236697","https://openalex.org/W2408823337","https://openalex.org/W2488197787","https://openalex.org/W2519073740","https://openalex.org/W2552298303","https://openalex.org/W2561068234","https://openalex.org/W2725434906","https://openalex.org/W2919034928","https://openalex.org/W2968168257","https://openalex.org/W3046486172","https://openalex.org/W3108015722","https://openalex.org/W3182297897","https://openalex.org/W3189927210","https://openalex.org/W3192885377","https://openalex.org/W4206296592","https://openalex.org/W4213250374","https://openalex.org/W4248605401","https://openalex.org/W4250834178","https://openalex.org/W4290990945","https://openalex.org/W4307020401","https://openalex.org/W4367663119","https://openalex.org/W4381946597","https://openalex.org/W6750584877","https://openalex.org/W6774849053","https://openalex.org/W6838338029"],"related_works":["https://openalex.org/W2396384868","https://openalex.org/W92576581","https://openalex.org/W2888632077","https://openalex.org/W4294362606","https://openalex.org/W2389214306","https://openalex.org/W1480909796","https://openalex.org/W2152978010","https://openalex.org/W4235240664","https://openalex.org/W2393741509","https://openalex.org/W2757557385"],"abstract_inverted_index":{"Cellular":[0],"networks":[1,95],"are":[2],"vital":[3],"for":[4,66,93,155],"emerging":[5],"applications":[6],"like":[7],"the":[8,128,171,183],"Metaverse,":[9],"which":[10],"impose":[11],"demanding":[12],"quality":[13,32],"and":[14,24,36,39,87,99,174],"quantity":[15],"requirements.":[16],"This":[17],"necessitates":[18],"frequent":[19],"reconfiguration":[20],"of":[21,111,159,185],"both":[22],"new":[23,67],"existing":[25],"base":[26,68],"stations":[27,69],"to":[28,96,126,136,138,169],"balance":[29],"network":[30,180,190],"service":[31],"(e.g.,":[33],"ultra-low":[34],"latency":[35],"high":[37],"bandwidth)":[38],"resource":[40],"consumption.":[41],"Existing":[42],"data-driven":[43],"configuration":[44,80,116,191],"methods":[45],"learn":[46],"from":[47],"historical":[48],"data,":[49],"but":[50],"have":[51,145],"two":[52],"key":[53],"limitations.":[54],"First,":[55,113],"they":[56],"yield":[57],"only":[58],"approximate":[59],"solutions,":[60],"lacking":[61],"precision.":[62,112],"Second,":[63,131],"poor":[64,146],"bootstrapping":[65],"with":[70],"previously":[71],"unobserved":[72],"attributes.":[73],"In":[74],"this":[75],"paper,":[76],"we":[77,114,132,149],"pioneer":[78],"intent-driven":[79],"synthesis":[81,104,121,135],"by":[82],"designing":[83],"an":[84,106,151],"intent":[85],"language":[86],"utilizing":[88],"satisfiability":[89],"modulo":[90],"theory":[91],"(SMT)":[92],"cellular":[94,189],"enable":[97],"exact":[98],"precise":[100],"solutions.":[101],"We":[102,163],"formulate":[103],"as":[105,118],"SMT":[107,134,143],"problem,":[108],"permitting":[109],"verification":[110,157],"cast":[115],"generation":[117],"a":[119,166],"program":[120],"problem":[122],"via":[123],"novel":[124],"modeling":[125],"bridge":[127],"intent-configuration":[129],"gap.":[130],"extend":[133],"scale":[137],"large":[139],"networks.":[140],"However,":[141],"vanilla":[142],"approaches":[144],"scalability.":[147],"Hence,":[148],"propose":[150],"optimization":[152,168],"using":[153],"sampling":[154],"constraint":[156],"instead":[158],"exhaustive":[160],"forward":[161],"solving.":[162],"also":[164],"design":[165],"domain-specific":[167],"prune":[170],"sample":[172],"space":[173],"improve":[175],"efficiency.":[176],"Experiments":[177],"on":[178],"various":[179],"scales":[181],"demonstrate":[182],"effectiveness":[184],"our":[186],"proposed":[187],"SMT-based":[188],"synthesis.":[192]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}