{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T09:59:20Z","timestamp":1740131960129,"version":"3.37.3"},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2015,8,1]],"date-time":"2015-08-01T00:00:00Z","timestamp":1438387200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61370072","61073033","61472369","61421091"],"award-info":[{"award-number":["61370072","61073033","61472369","61421091"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"China National","award":["2014CB340301"],"award-info":[{"award-number":["2014CB340301"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2015,8,1]]},"DOI":"10.1109\/tse.2015.2411284","type":"journal-article","created":{"date-parts":[[2015,3,9]],"date-time":"2015-03-09T18:48:49Z","timestamp":1425926929000},"page":"730-744","source":"Crossref","is-referenced-by-count":2,"title":["An I\/O Efficient Approach for Detecting All Accepting Cycles"],"prefix":"10.1109","volume":"41","author":[{"given":"Lijun","family":"Wu","sequence":"first","affiliation":[]},{"given":"Kaile","family":"Su","sequence":"additional","affiliation":[]},{"given":"Shaowei","family":"Cai","sequence":"additional","affiliation":[]},{"given":"Xiaosong","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Chenyi","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Shupeng","family":"Wang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.14778\/1938545.1938550"},{"key":"ref32","first-page":"1539","article-title":"Delayed duplicate detection: Extended abstract","author":"korf","year":"0","journal-title":"Proc Int Joint Conf Artif Intell"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/11609773_16"},{"key":"ref30","first-page":"653","article-title":"External perfect hashing for very large key sets","author":"botelho","year":"0","journal-title":"Proc Int Conf Inf Knowl Manage"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/11561071_57"},{"key":"ref35","first-page":"278","article-title":"DiVinE—A tool for distributed verification (tool paper)","author":"barnat","year":"0","journal-title":"Proc Int Conf Comput Aided Verification"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73370-6_17"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45749-6_63"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240299"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1455248.1455250"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31759-0_5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44798-9_23"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.57"},{"key":"ref16","first-page":"1326","article-title":"Increasing the accuracy of SAT-based debugging","author":"braunstein","year":"0","journal-title":"Proc Int Conf Des Autom Test Eur"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923234"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/362814.362819"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1137\/0202017"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/48529.48535"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_50"},{"journal-title":"Grapth Theory","year":"2005","author":"diestel","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_25"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/11691617_1"},{"key":"ref29","first-page":"139","article-title":"Simple and space-efficient minimal perfect hash functions","author":"botelho","year":"0","journal-title":"Proc 10th Int'l Conf Algorithms and Data Structures"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_5"},{"key":"ref8","first-page":"650","article-title":"Best-first frontier search with delayed duplicate detection","author":"korf","year":"0","journal-title":"Proc 19th Nat Conf Artif Intell"},{"key":"ref7","first-page":"172","article-title":"Using magnetic disk instead of main memory in the Mur $\\varphi$ verifier","author":"stern","year":"0","journal-title":"Proc Int Conf Comput Aided Verification"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_32"},{"key":"ref9","first-page":"1380","article-title":"Large-scale parallel breadth-first search","author":"korf","year":"0","journal-title":"Proc 20th Nat Conf Artif Intell"},{"key":"ref1","first-page":"332","article-title":"An automata-theoretic approach to automatic program verification","author":"vardi","year":"0","journal-title":"Proc Symp Logic Comput Sci"},{"year":"1973","author":"ehrenfeucht","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/321679.321684"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1137\/0204007"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-003-0121-x"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-218X(01)00201-3"},{"key":"ref26","first-page":"332","article-title":"A functional approach to external graph algorithms","author":"abello","year":"0","journal-title":"Proc 6th Ann European Symp Algorithms"},{"key":"ref25","first-page":"49","article-title":"Distributed explicit fair cycle detection: set based approach","author":"cerna","year":"0","journal-title":"Proc 10th Int'l Conf Model Checking Software"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/7185498\/07056483.pdf?arnumber=7056483","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T02:35:36Z","timestamp":1633919736000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7056483\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,1]]},"references-count":36,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tse.2015.2411284","relation":{},"ISSN":["0098-5589","1939-3520"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"}],"subject":[],"published":{"date-parts":[[2015,8,1]]}}}