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

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