{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:41:36Z","timestamp":1730295696635,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/sfcs.1995.492460","type":"proceedings-article","created":{"date-parts":[[2002,11,19]],"date-time":"2002-11-19T14:50:45Z","timestamp":1037717445000},"page":"36-40","source":"Crossref","is-referenced-by-count":13,"title":["Counting bottlenecks to show monotone P\u2260NP"],"prefix":"10.1109","author":[{"given":"A.","family":"Haken","sequence":"first","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/SCT.1993.336535"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1016\/0304-3975(85)90144-6"},{"year":"1994","author":"papadimitriou","journal-title":"Computational Complexity","key":"ref5"},{"year":"1987","author":"wegener","journal-title":"The Complexity of Boolean Functions","key":"ref8"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1145\/129712.129771"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/BF02579196"},{"key":"ref6a","first-page":"798","article-title":"Lower bounds on the monotone complexity of some Boolean functions","volume":"281","author":"razborov","year":"1985","journal-title":"Dokl Akad Nauk SSSR"},{"key":"ref6b","first-page":"354","volume":"31","year":"1985","journal-title":"Soviet Math Dokl"},{"key":"ref2a","first-page":"1033","article-title":"On a method for obtaining lower bounds for the complexity of individual monotone functions","volume":"282","author":"andreev","year":"1985","journal-title":"Dokl Akad Nauk SSSR"},{"key":"ref2b","first-page":"530","volume":"31","year":"1985","journal-title":"Soviet Math Dokl"}],"event":{"acronym":"SFCS-95","name":"IEEE 36th Annual Foundations of Computer Science","location":"Milwaukee, WI, USA"},"container-title":["Proceedings of IEEE 36th Annual Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx3\/3752\/10957\/00492460.pdf?arnumber=492460","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T06:31:47Z","timestamp":1489041107000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/492460\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/sfcs.1995.492460","relation":{},"subject":[]}}