{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:19:39Z","timestamp":1759331979775},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1109\/infocom.2018.8485859","type":"proceedings-article","created":{"date-parts":[[2018,10,18]],"date-time":"2018-10-18T18:45:36Z","timestamp":1539888336000},"page":"1817-1825","source":"Crossref","is-referenced-by-count":15,"title":["Optimizing Network Reliability via Best-First Search over Decision Diagrams"],"prefix":"10.1109","author":[{"given":"Masaaki","family":"Nishino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takeru","family":"Inoue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norihito","family":"Yasuda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin-Ichi","family":"Minato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masaaki","family":"Nagata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1986.4335422"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2007.895303"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2014.2314597"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2014.2338253"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/24.376523"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10479-004-5028-8"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-218X(01)00221-9"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/24.210272"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1968.300136"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BF01758778"},{"key":"ref4","first-page":"13","article-title":"Improving the Kuo-Lu-Yeh algorithm for assessing two-terminal reliability","author":"ll","year":"2014","journal-title":"Proc of EDCC"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3038912.3052567"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/APCC.2009.5375505"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2010.5461984"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1137\/0405003"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/net.20300"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2014.6848097"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2012.2232111"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2007.898572"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1137\/0208032"},{"key":"ref1","first-page":"224","article-title":"Computing the tutte polynomial of a graph of moderate size","author":"sekine","year":"1995","journal-title":"Proc of ISAAC"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2011.111002"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2009.5199006"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2012.6465033"},{"key":"ref24","article-title":"Acceleration of zdd construction for subgraph enumeration via path-width optimization","author":"inoue","year":"2016","journal-title":"Tech Rep TCS-TR-A-16-80"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.15.3.233.16078"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1002\/net.3230130107"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/24.52639"}],"event":{"name":"IEEE INFOCOM 2018 - IEEE Conference on Computer Communications","start":{"date-parts":[[2018,4,16]]},"location":"Honolulu, HI","end":{"date-parts":[[2018,4,19]]}},"container-title":["IEEE INFOCOM 2018 - IEEE Conference on Computer Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8464035\/8485803\/08485859.pdf?arnumber=8485859","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T04:24:17Z","timestamp":1598243057000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8485859\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/infocom.2018.8485859","relation":{},"subject":[],"published":{"date-parts":[[2018,4]]}}}