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

by R Veroff
Venue:J. Automated Reasoning