US7356747B2 - Decision Selection and Associated Learning for Computing All Solutions in Automatic Test Pattern Generation (ATPG) and Satisfiability