Using Hints to Increase the Effectiveness of an Automated Reasoning Program: Case Studies (1996)

by R Veroff
Venue:Journal of Automated Reasoning