Searching for "Limited resource strategy in resolution theorem proving." – sorted by Relevance.
-
Limited Resource Strategy in Resolution Theorem Proving
- of Manchester Preprint Series CSPP-7 Limited Resource Strategy in Resolution Theorem Proving Alexandre Riazanov
- Cited by 12 (3 self) – Add To MetaCart
-
Journal Publication
- ] A. Riazanov and A. Voronkov. Limited resource strategy in resolution theorem proving. Journal
- Add To MetaCart

