@techreport{weko_145832_1, author = "Takeo,Imai", title = "One-line hack of Knuth's algorithm for minimal hitting set computation with ZDDs", year = "2015", institution = "Graduate School of Information Science and Technology, the University of Tokyo", number = "15", month = "nov" }