Searching for "Efficient Algorithms to Detect and Restore Minimality, an Extension of the Regular Restriction of Resolution." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Efficient Algorithms to Detect and Restore Minimality, an Extension of the Regular Restriction
by Bruce Spencer, J.D. Horton
…Efficient algorithms to detect and restore minimality, an extension of the regular restriction…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB