{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T21:28:43Z","timestamp":1749072523341,"version":"3.37.3"},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,30]],"date-time":"2022-10-30T00:00:00Z","timestamp":1667088000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,30]],"date-time":"2022-10-30T00:00:00Z","timestamp":1667088000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100010663","name":"ERC","doi-asserted-by":"publisher","award":["851809"],"award-info":[{"award-number":["851809"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,30]]},"DOI":"10.1109\/icnp55882.2022.9940325","type":"proceedings-article","created":{"date-parts":[[2022,11,14]],"date-time":"2022-11-14T22:04:38Z","timestamp":1668463478000},"page":"1-11","source":"Crossref","is-referenced-by-count":6,"title":["On the Complexity of Network-Wide Configuration Synthesis"],"prefix":"10.1109","author":[{"given":"Tibor","family":"Schneider","sequence":"first","affiliation":[{"name":"ETH Zürich, D-ITET,Zürich,Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roland","family":"Schmid","sequence":"additional","affiliation":[{"name":"ETH Zürich, D-ITET,Zürich,Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Vanbever","sequence":"additional","affiliation":[{"name":"ETH Zürich, D-ITET,Zürich,Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2012.6195595"},{"journal-title":"Modular control plane verification via temporal invariants","year":"2022","author":"thijm","key":"ref30"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1137\/S0895480100377428"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/90.974523"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2001.916261"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/863955.863963"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2016.2567600"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405864"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2010.267"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1989.63499"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1002\/net.20163"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21527-8_39"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405900"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3229584.3229585"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386019"},{"journal-title":"Facebook's historic outage explained","year":"2021","author":"madory","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3219617.3219652"},{"journal-title":"Lightyear Using modularity to scale bgp control plane verification","year":"2022","author":"tang","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3140587.3062367"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3386367.3431304"},{"key":"ref7","first-page":"579","article-title":"NetComplete: Practical network-wide configuration synthesis with autocompletion","author":"el-hassany","year":"2018","journal-title":"15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)"},{"key":"ref2","article-title":"Google accidentally broke the internet throughout Japan","author":"locklear","year":"2017","journal-title":"Engadget"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2000.832225"},{"journal-title":"Here's Why Amazon's Cloud Suffered a Meltdown This Week","year":"2017","author":"king","key":"ref1"},{"key":"ref20","article-title":"BGP Route Reflection: An Alternative to Full Mesh Internal BGP (IBGP)","author":"chen","year":"2006","journal-title":"RFC-4456"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/633025.633028"},{"key":"ref21","article-title":"Computers and intractability: a Guide to the Theory of NP-Completeness","volume":"174","author":"garey","year":"1979","journal-title":"Freeman San Francisco"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934909"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_14"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3022671.2984012"}],"event":{"name":"2022 IEEE 30th International Conference on Network Protocols (ICNP)","start":{"date-parts":[[2022,10,30]]},"location":"Lexington, KY, USA","end":{"date-parts":[[2022,11,2]]}},"container-title":["2022 IEEE 30th International Conference on Network Protocols (ICNP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9940251\/9940258\/09940325.pdf?arnumber=9940325","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,12]],"date-time":"2022-12-12T19:57:37Z","timestamp":1670875057000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9940325\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,30]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/icnp55882.2022.9940325","relation":{},"subject":[],"published":{"date-parts":[[2022,10,30]]}}}