{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T16:38:43Z","timestamp":1756312723894,"version":"3.28.0"},"reference-count":48,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,10]],"date-time":"2023-10-10T00:00:00Z","timestamp":1696896000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,10]],"date-time":"2023-10-10T00:00:00Z","timestamp":1696896000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,10]]},"DOI":"10.1109\/icnp59255.2023.10355624","type":"proceedings-article","created":{"date-parts":[[2023,12,20]],"date-time":"2023-12-20T19:18:50Z","timestamp":1703099930000},"page":"1-12","source":"Crossref","is-referenced-by-count":3,"title":["Solving Distributed ACL Policies Under Complex Constraints with Graph Neural Networks"],"prefix":"10.1109","author":[{"given":"Xingjian","family":"Liao","sequence":"first","affiliation":[{"name":"Beijing University of Posts and Telecommunications,State Key Laboratory of Networking and Switching Technology,Beijing,China"}]},{"given":"Haifeng","family":"Sun","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications,State Key Laboratory of Networking and Switching Technology,Beijing,China"}]},{"given":"Jingyu","family":"Wang","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications,State Key Laboratory of Networking and Switching Technology,Beijing,China"}]},{"given":"Qi","family":"Qi","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications,State Key Laboratory of Networking and Switching Technology,Beijing,China"}]},{"given":"Zirui","family":"Zhuang","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications,State Key Laboratory of Networking and Switching Technology,Beijing,China"}]},{"given":"Jianxin","family":"Liao","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications,State Key Laboratory of Networking and Switching Technology,Beijing,China"}]},{"given":"Guang","family":"Yang","sequence":"additional","affiliation":[{"name":"Alibaba Group,Beijing,China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/35.312842"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/icnp.2012.6459944"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2014.24"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2010.2089640"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2020.107706"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342088"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560606"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/IFIPNetworking55013.2022.9829813"},{"volume-title":"Cisco Digital Network Architecture: Intent-based Networking for the Enterprise","year":"2018","author":"Szigeti","key":"ref9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472937"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3422604.3425936"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_14"},{"key":"ref14","first-page":"579","article-title":"NetComplete: Practical Network-Wide configuration synthesis with autocompletion","volume-title":"15th USENIX Symposium on Networked Systems Design and Imple-mentation (NSDI 18)","author":"EI-Hassany","year":"2018"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/679"},{"key":"ref16","article-title":"Learning a SAT solver from single-bit supervision","volume-title":"International Conference on Learning Representations (ICLR)","author":"Selsam","year":"2019"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i04.5733"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2023\/476"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2020.2978386"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2021\/595"},{"key":"ref22","article-title":"How powerful are graph neural networks?","volume-title":"International Conference on Learning Represen-tations (ICLR)","author":"Xu","year":"2019"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICDM.2008.130"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0806627105"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2939672.2939766"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2021.08.135"},{"key":"ref27","article-title":"Semi-supervised classification with graph convolutional networks","volume-title":"International Conference on Learning Rep-resentations (ICLR)","author":"Kipf","year":"2017"},{"journal-title":"Residual gated graph convnets","year":"2017","author":"Bresson","key":"ref28"},{"key":"ref29","article-title":"Graph attention networks","volume-title":"International Conference on Learning Representations (ICLR)","author":"Velickovic","year":"2018"},{"key":"ref30","first-page":"1025","article-title":"Inductive representation learning on large graphs","author":"Hamilton","year":"2017","journal-title":"Advances in neural information processing systems"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31612-8_3"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/164"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2011.111002"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref35","article-title":"Predicting learnt clauses quality in modern sat solvers","volume-title":"Twenty-first international joint conference on artificial intelligence (IJCAI)","author":"Audemard","year":"2009"},{"key":"ref36","article-title":"Minisat-a sat solver with conflict-clause minimization","author":"Een","year":"2005","journal-title":"Theory and Applications of Satisfiability Testing"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-80223-3_27"},{"volume-title":"Exploring network structure, dynamics, and function using networkx","author":"Hagberg","key":"ref38","doi-asserted-by":"crossref","DOI":"10.25080\/TCWV9851"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94144-8_26"},{"key":"ref40","article-title":"Analysing the empirical time complexity of high-performance algorithms for sat and tsp","author":"Mu","year":"2015","journal-title":"Ph.D. dissertation, University of British Columbia"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.172"},{"key":"ref42","first-page":"625","article-title":"Hey, lumi! using natural language for intent-based network management","volume-title":"USENIX Annual Technical Conference (ATC)","author":"Jacobs","year":"2021"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33014731"},{"key":"ref44","article-title":"Attention, learn to solve routing problems!","volume-title":"International Conference on Learning Representations (ICLR)","author":"Kool","year":"2019"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP55882.2022.9940325"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP55882.2022.9940333"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2022.3176267"},{"key":"ref48","article-title":"Learning to configure computer networks with neural algorithmic reasoning","author":"Beurer-Kellner","year":"2022","journal-title":"Advances in Neural Information Processing Systems"}],"event":{"name":"2023 IEEE 31st International Conference on Network Protocols (ICNP)","start":{"date-parts":[[2023,10,10]]},"location":"Reykjavik, Iceland","end":{"date-parts":[[2023,10,13]]}},"container-title":["2023 IEEE 31st International Conference on Network Protocols (ICNP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10355566\/10355569\/10355624.pdf?arnumber=10355624","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,6]],"date-time":"2024-11-06T13:58:05Z","timestamp":1730901485000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10355624\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,10]]},"references-count":48,"URL":"https:\/\/doi.org\/10.1109\/icnp59255.2023.10355624","relation":{},"subject":[],"published":{"date-parts":[[2023,10,10]]}}}