Searching for "Non-Resolution Theorem Proving." – sorted by Relevance.
-
Algorithms, datastructures, and other issues in efficient automated deduction
- than those directly related to algorithms and datastructures. 9.1 Non-resolution Theorem Proving
- Cited by 9 (0 self) – Add To MetaCart
-
The Heine-Borel Challenge Problem
- , Woody Bledsoe was an early proponent of non-resolution theorem proving [Ble77]. In particular, he
- Add To MetaCart

