{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T22:07:40Z","timestamp":1648591660165},"reference-count":20,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1080\/09528130903119328","type":"journal-article","created":{"date-parts":[[2009,8,22]],"date-time":"2009-08-22T17:44:06Z","timestamp":1250963046000},"page":"217-231","source":"Crossref","is-referenced-by-count":0,"title":["On memoryless provers and insincere verifiers"],"prefix":"10.1080","volume":"21","author":[{"given":"K.","family":"Subramani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00007-6"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(79)90002-4"},{"key":"CIT0004","volume-title":"Online Computation and Competitive Analysis","author":"Borodin A","year":"1998"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539791256325"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1145\/1039488.1039492"},{"key":"CIT0008","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1007\/978-3-540-25984-8_14","author":"de Moura LM","year":"2004","journal-title":"International Joint Conference on Automated Reasoning (ISCAR)"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539793251876"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1145\/201019.201022"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1137\/0214016"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90058-5"},{"key":"CIT0018","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511814075","volume-title":"Randomised Algorithms","author":"Motwani R","year":"1995"},{"key":"CIT0019","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints: An Introduction","author":"Marriott K","year":"1998"},{"key":"CIT0020","volume-title":"Integer and Combinatorial Optimization","author":"Nemhauser GL","year":"1999"},{"key":"CIT0022","volume-title":"Computational Complexity","author":"Papadimitriou CH","year":"1994"},{"key":"CIT0024","volume-title":"Probability Models","author":"Ross SM","year":"2000","edition":"7"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1007\/s10951-005-6367-2"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054105003182"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1145\/1968.1972"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.06.012"},{"key":"CIT0034","doi-asserted-by":"crossref","unstructured":"Wei, W and Selman, B. Accelerating Random Walks. The Eighth International Conference on Constraint Programming (CP), LNCS. 2002. pp.216\u2013232.","DOI":"10.1007\/3-540-46135-3_15"}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/09528130903119328","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T00:00:47Z","timestamp":1558483247000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/09528130903119328"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,9]]}},"alternative-id":["10.1080\/09528130903119328"],"URL":"https:\/\/doi.org\/10.1080\/09528130903119328","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,9]]}}}