Skip to content

An incremental algorithm for computing ranked full disjunctions.

Sara Cohen, Yehoshua Sagiv

VenueA*PODS
Year2005
ProceedingsPODS

Browse the full PODS paper archive.