{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T14:51:54Z","timestamp":1673448714450},"reference-count":44,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[1990,2]]},"DOI":"10.1137\/0219003","type":"journal-article","created":{"date-parts":[[2005,2,24]],"date-time":"2005-02-24T11:33:47Z","timestamp":1109244827000},"page":"44-70","source":"Crossref","is-referenced-by-count":23,"title":["The Complexity of Very Simple Boolean Formulas with Applications"],"prefix":"10.1137","volume":"19","author":[{"given":"H. B.","family":"Hunt III","sequence":"first","affiliation":[]},{"given":"R. E.","family":"Stearns","sequence":"additional","affiliation":[]}],"member":"351","reference":[{"key":"R1","volume-title":"Sets, lattices, and Boolean algebras","author":"Abbott James C.","year":"1969"},{"key":"R2","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1975.9"},{"key":"R3","volume-title":"The design and analysis of computer algorithms","author":"Aho Alfred V.","year":"1975"},{"key":"R4","volume-title":"Compilers Principles, Techniques, and Tools","author":"Aho A. V.","year":"1986"},{"key":"R5","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"R6","doi-asserted-by":"publisher","DOI":"10.1145\/1811123.1811124"},{"key":"R7","volume-title":"Lattice theory","author":"Birkhoff Garrett","year":"1967"},{"key":"R8","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(82)90439-9"},{"key":"R9","doi-asserted-by":"publisher","DOI":"10.1145\/1634.1639"},{"key":"R10","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(80)90078-2"},{"key":"R11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-95424-5"},{"key":"R12","volume-title":"Digital Networks","author":"Brzozowski J. A.","year":"1976"},{"key":"R16","doi-asserted-by":"publisher","DOI":"10.1147\/rd.92.0090"},{"key":"R17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-08860-1_17"},{"key":"R18","volume-title":"Computers and intractability","author":"Garey Michael R.","year":"1979"},{"key":"R19","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1981.1675757"},{"key":"R20","first-page":"115","volume-title":"FTCS-10 (Tenth Internat. Sympos. Fault-Tolerant Comput., Kyoto, 1980)","author":"Hayes John P.","year":"1980"},{"key":"R21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1986.1270196"},{"key":"R22","volume-title":"Intuitionism","author":"Heyting A.","year":"1959"},{"key":"R23","volume-title":"Grundlagen der Mathematik","author":"Hilbert D.","year":"1934"},{"key":"R25","doi-asserted-by":"publisher","DOI":"10.1137\/0209031"},{"key":"R26","doi-asserted-by":"publisher","DOI":"10.1137\/0216011"},{"key":"R27","doi-asserted-by":"publisher","DOI":"10.1137\/0216059"},{"key":"R28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-16078-7_83"},{"key":"R29","doi-asserted-by":"publisher","DOI":"10.1145\/322358.322373"},{"key":"R30","doi-asserted-by":"publisher","DOI":"10.1016\/0196-6774(85)90046-X"},{"key":"R31","volume-title":"Introduction to Metamathematics","author":"Kleene S. C.","year":"1950"},{"key":"R32","volume-title":"Symbolic logic","author":"Lewis C. I.","year":"1932"},{"key":"R33","volume-title":"Compiler Design Theory","author":"Lewis P. M.","year":"1976"},{"key":"R34","volume-title":"Algebra","author":"MacLane S.","year":"1967"},{"key":"R35","volume-title":"Mathematical theory of computation","author":"Manna Z.","year":"1974"},{"key":"R36","volume-title":"Introduction to mathematical logic","author":"Mendelson E.","year":"1979"},{"key":"R38","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1976.1674663"},{"key":"R39","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1975.224257"},{"key":"R40","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1975.224264"},{"key":"R41","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1975.224279"},{"key":"R42","doi-asserted-by":"publisher","DOI":"10.2307\/2370324"},{"key":"R43","volume-title":"An algebraic approach to non-classical logics","author":"Rasiowa H.","year":"1974"},{"key":"R44","unstructured":"H. Rasiowa , R. Sikorski , The mathematics of metamathematics, Monografie Matematyczne, Tom 41, Pa\u0144stwowe Wydawnictwo Naukowe, Warsaw, 1963, 522\u2013, Poland29:1149"},{"key":"R45","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(87)90206-7"},{"key":"R46","doi-asserted-by":"publisher","DOI":"10.1147\/rd.104.0278"},{"key":"R50","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1676041"},{"key":"R51","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(84)90081-7"},{"key":"R53","volume-title":"Matroid theory","author":"Welsh D. J. A.","year":"1976"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/0219003","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,1,29]],"date-time":"2017-01-29T17:21:55Z","timestamp":1485710515000},"score":1,"resource":{"primary":{"URL":"http:\/\/epubs.siam.org\/doi\/10.1137\/0219003"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,2]]},"references-count":44,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,2]]}},"alternative-id":["10.1137\/0219003"],"URL":"https:\/\/doi.org\/10.1137\/0219003","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"value":"0097-5397","type":"print"},{"value":"1095-7111","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,2]]}}}