{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:23:35Z","timestamp":1759335815308},"reference-count":12,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Discrete Math."],"published-print":{"date-parts":[[1989,11]]},"DOI":"10.1137\/0402046","type":"journal-article","created":{"date-parts":[[2005,2,23]],"date-time":"2005-02-23T10:58:14Z","timestamp":1109156294000},"page":"508-523","source":"Crossref","is-referenced-by-count":6,"title":["Average Performance of Heuristics for Satisfiability"],"prefix":"10.1137","volume":"2","author":[{"given":"Rajeev","family":"Kohli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramesh","family":"Krishnamurti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"351","reference":[{"key":"R2","doi-asserted-by":"publisher","DOI":"10.1080\/15326348508807011"},{"key":"R3","first-page":"333","volume":"22","author":"Bruno John L.","year":"1985","journal-title":"Acta Inform."},{"key":"R5","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.34.3.266"},{"key":"R6","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6377(86)90013-1"},{"key":"R7","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"R9","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(83)90017-3"},{"key":"R10","doi-asserted-by":"publisher","DOI":"10.1287\/moor.12.2.241"},{"key":"R11","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(82)90110-7"},{"key":"R12","doi-asserted-by":"crossref","DOI":"10.7312\/gumb92958","volume-title":"Statistics of extremes","author":"Gumbel E. J.","year":"1958"},{"key":"R13","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(74)80044-9"},{"key":"R16","doi-asserted-by":"publisher","DOI":"10.1145\/322248.322260"},{"key":"R17","doi-asserted-by":"publisher","DOI":"10.1007\/BF02579171"}],"container-title":["SIAM Journal on Discrete Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/0402046","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T21:52:18Z","timestamp":1586123538000},"score":1,"resource":{"primary":{"URL":"http:\/\/epubs.siam.org\/doi\/10.1137\/0402046"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,11]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1989,11]]}},"alternative-id":["10.1137\/0402046"],"URL":"https:\/\/doi.org\/10.1137\/0402046","relation":{},"ISSN":["0895-4801","1095-7146"],"issn-type":[{"value":"0895-4801","type":"print"},{"value":"1095-7146","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,11]]}}}