{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:36:36Z","timestamp":1759638996990,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T00:00:00Z","timestamp":1554249600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,3]]},"DOI":"10.1145\/3314148.3314347","type":"proceedings-article","created":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T13:24:18Z","timestamp":1570454658000},"page":"127-139","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Identifying Equivalent SDN Forwarding Behaviour"],"prefix":"10.1145","author":[{"given":"Richard","family":"Sanger","sequence":"first","affiliation":[{"name":"University of Waikato"}]},{"given":"Matthew","family":"Luckie","sequence":"additional","affiliation":[{"name":"University of Waikato"}]},{"given":"Richard","family":"Nelson","sequence":"additional","affiliation":[{"name":"University of Waikato"}]}],"member":"320","published-online":{"date-parts":[[2019,4,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"{n. d.}. Equivalence checking implementation {Source Code}. https:\/\/github.com\/wandsdn\/ofequivalence  {n. d.}. Equivalence checking implementation {Source Code}. https:\/\/github.com\/wandsdn\/ofequivalence"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"volume-title":"Proc. 18th annual ACM-SIAM symposium on Discrete algorithms. Society for Industrial and Applied Mathematics, 1066--1075","year":"2007","author":"Applegate David A","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934892"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3012426.3015763"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.537122"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/123186.123222"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"volume-title":"Int. Workshop on Logic Synthesis","year":"1993","author":"Clarke Edmund M.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/157485.164569"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2017.11.011"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35668-1_32"},{"key":"e_1_3_2_1_15_1","first-page":"113","article-title":"Header Space Analysis: Static Checking for Networks","volume":"12","author":"Kazemian Peyman","year":"2012","journal-title":"NSDI"},{"key":"e_1_3_2_1_16_1","unstructured":"Donald E. Knuth. 2009. The Art of Computer Programming Volume 4 Fascicle 1: Bitwise Tricks & Techniques; Binary Decision Diagrams. Addison-Wesley Professional.   Donald E. Knuth. 2009. The Art of Computer Programming Volume 4 Fascicle 1: Bitwise Tricks & Techniques; Binary Decision Diagrams. Addison-Wesley Professional."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1959.tb01585.x"},{"key":"e_1_3_2_1_18_1","unstructured":"David Meyer. 2001. University of Oregon route views archive project. https:\/\/routeviews.org\/  David Meyer. 2001. University of Oregon route views archive project. https:\/\/routeviews.org\/"},{"key":"e_1_3_2_1_19_1","unstructured":"Open Networking Foundation. 2015. OpenFlow Switch Specification - Version 1.3.5. Retrieved September 8 2015 from https:\/\/www.opennetworking.org\/images\/stories\/downloads\/sdn-resources\/onf-specifications\/openflow\/openflow-switch-v1.3.5.pdf  Open Networking Foundation. 2015. OpenFlow Switch Specification - Version 1.3.5. Retrieved September 8 2015 from https:\/\/www.opennetworking.org\/images\/stories\/downloads\/sdn-resources\/onf-specifications\/openflow\/openflow-switch-v1.3.5.pdf"},{"key":"e_1_3_2_1_20_1","unstructured":"osrg. {n. d.}. Ryu SDN Framework. https:\/\/osrg.github.io\/ryu\/  osrg. {n. d.}. Ryu SDN Framework. https:\/\/osrg.github.io\/ryu\/"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491209"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2017.8057135"},{"key":"e_1_3_2_1_23_1","first-page":"2001","article-title":"OC-3072 packet classification using BDDs and pipelined SRAMs","volume":"9","author":"Prakash Amit","year":"2001","journal-title":"Hot Interconnects"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784761"},{"volume-title":"CUDD: CU decision diagram package release 3.0. 0.","year":"2015","author":"Somenzi Fabio","key":"e_1_3_2_1_25_1"},{"volume-title":"Waikato University. Retrieved","year":"2018","author":"WAND.","key":"e_1_3_2_1_26_1"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2015.2398197"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.23919\/INM.2017.7987333"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.16"}],"event":{"name":"SOSR '19: Symposium on SDN Research","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"San Jose CA USA","acronym":"SOSR '19"},"container-title":["Proceedings of the 2019 ACM Symposium on SDN Research"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314148.3314347","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314148.3314347","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:54:24Z","timestamp":1750204464000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314148.3314347"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,3]]},"references-count":28,"alternative-id":["10.1145\/3314148.3314347","10.1145\/3314148"],"URL":"https:\/\/doi.org\/10.1145\/3314148.3314347","relation":{},"subject":[],"published":{"date-parts":[[2019,4,3]]},"assertion":[{"value":"2019-04-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}