PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In this paper we investigate the general form of the LLL. Our main result is a randomized algorithm for 2-coloring non-uniform hypergraphs that runs in expected linear time.
http://www.w3.org/ns/prov#wasQuotedFrom
  • psu.edu