@techreport{weko_98731_1, author = "Hiroki,Morizumi", title = "On Computing Sensitivity, Block Sensitivity, and Certificate Complexity for Boolean Formulas", year = "2014", institution = "Interdisciplinary Graduate School of Science and Engineering, Shimane University", number = "10", month = "feb" }