Decremental Maintenance of Reachability in Hypergraphs and Minimum Models of Horn Formulae.

Giorgio Ausiello, Paolo Giulio Franciosa, Daniele Frigioni, Roberto Giaccio

Browse the full ISAAC paper archive.