Sciweavers

FUIN
2007
93views more  FUIN 2007»
13 years 4 months ago
Davis-Putnam Style Rules for Deciding Property S
Two set systems E, F on an underlying set V will be said to have Property S if there exists a subset σ of V , such that σ ∩ e = ∅, for all e ∈ E and f ⊆ σ, for all f âˆ...
Robert Cowen, Adam Kolany