New Results on Monotone Dualization and Generating Hypergraph Transversals (2002)

by Thomas Eiter , Georg Gottlob , Kazuhisa Makino
Venue:SIAM JOURNAL ON COMPUTING
Citations:37 - 12 self