{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:35Z","timestamp":1725664655498},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602460"},{"type":"electronic","value":"9783540447689"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60246-1_130","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:56:04Z","timestamp":1330260964000},"page":"237-246","source":"Crossref","is-referenced-by-count":0,"title":["Some typical properties of large AND\/OR Boolean formulas"],"prefix":"10.1007","author":[{"given":"Hanno","family":"Lefmann","sequence":"first","affiliation":[]},{"given":"Petr","family":"Savick\u00fd","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"R. B. Boppana: Amplification of Probabilistic Boolean Formulas, Proc. 26th Ann. IEEE Symp. on Foundations of Computer Science, 1985, 20\u201329.","DOI":"10.1109\/SFCS.1985.5"},{"key":"22_CR2","unstructured":"J. Friedman: Probabilistic Spaces of Boolean Functions of a Given Complexity: Generalities and Random k-SAT Coefficients, CS-TR-387-92, Princeton University, 1992."},{"key":"22_CR3","volume-title":"Foundations of the Theory of Probability","author":"A. N. Kolmogorov","year":"1950","unstructured":"A. N. Kolmogorov: Foundations of the Theory of Probability, Chelsea Publishing Company, New York, 1950."},{"key":"22_CR4","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/S0168-0072(94)90011-6","volume":"70","author":"J. B. Paris","year":"1994","unstructured":"J. B. Paris, A. Vencovsk\u00e1, G. M. Wilmers: A Natural Prior Probability Distribution Derived from the Propositional Calculus, Annals of Pure and Applied Logic 70, 1994, 243\u2013285.","journal-title":"Annals of Pure and Applied Logic"},{"key":"22_CR5","unstructured":"Y. Rabani, Y. Rabinovich and A. Sinclair: A Computational View of Population Genetics, preprint."},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Y. Rabinovich, A. Sinclair and A. Wigderson: Quadratic Dynamical Systems, Proc. 33rd Ann. IEEE Symp. on Foundations of Computer Science, 1992, 304\u2013313.","DOI":"10.1109\/SFCS.1992.267761"},{"key":"22_CR7","unstructured":"A. A. Razborov: Bounded-depth Formulae over {\u03bb, \u2295 and some Combinatorial Problems. In Complexity of Algorithms and Applied Mathematical Logic (in Russian), Ser. Voprosy Kibernetiky (Problems in Cybernetics), ed.: S. I. Adian, Moscow, 1988, 149\u2013166."},{"key":"22_CR8","unstructured":"P. Savick\u00fd: Improved Boolean Formulas for the Ramsey Graphs, to appear in Random Structures and Algorithms."},{"key":"22_CR9","unstructured":"P. Savick\u00fd: Complexity and Probability of some Boolean Formulas, TR 538, FB Informatik, Universit\u00e4t Dortmund, 1994."},{"key":"22_CR10","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/0196-6774(84)90016-6","volume":"5","author":"L. G. Valiant","year":"1984","unstructured":"L. G. Valiant: Short Monotone Formulae for the Majority Function, J. Algorithms 5, 1984, 363\u2013366.","journal-title":"J. Algorithms"},{"key":"22_CR11","unstructured":"A. Woods, personal communication."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1995"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60246-1_130.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:34:09Z","timestamp":1619559249000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60246-1_130"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602460","9783540447689"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-60246-1_130","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}