Automated Theorem Proving by Test Set Induction (1997)

Cached

Download Links

by Adel Bouhoula , Inria Lorraine
Venue:Journal of Symbolic Computation
Citations:26 - 10 self