Results 251 to 260 of about 1,544 (260)
Some of the next articles are maybe not open access.
Simple and Efficient Clause Subsumption with Feature Vector Indexing
Lecture Notes in Computer Science, 2013Stephan Schulz, Schulz Stephan
exaly
Guiding the Search in the NO Region of the Phase Transition Problem with a Partial Subsumption Test
Lecture Notes in Computer Science, 2006exaly

