New results on monotone dualization and generating hypergraph transversals (0)

by Thomas Eiter, Georg Gottlob, Kazuhisa Makino
Venue:SIAM Journal on Computing